Re: [coreboot] [PATCH] Hardcode PCI devices in Intel southbridge early init code