Split PCI config options into a separate file
Signed-off-by: NPaul Brook <paul@codesourcery.com>