[coreboot] New patch to review for coreboot: ec7eab2 Only compile PC80 drivers when CONFIG_PC80_SYSTEM is set