[coreboot] [PATCH] simplify coreboot PCI code