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