[coreboot] lspci output difference between Commercial BIOS and coreboot