Re: [coreboot] lspci output difference between Commercial BIOS and coreboot