Split PCI config options into a separate file

Signed-off-by: Paul Brook <paul@codesourcery.com>