[coreboot] Does PCI driver code belong in coreboot (ARM)?