[coreboot] [PATCH] There's a pciconf.h with PCI conf constants - lets actually use it