Re: [coreboot] PCI funcitons malfunctioning