[coreboot] PCI roms stored via device/vendor or bus/dev/fn?