[coreboot] Patch merged into coreboot/master: 3d6eb29 Only compile PC80 drivers when CONFIG_PC80_SYSTEM is set