[coreboot-gerrit] New patch to review for coreboot: 0de3f82 drivers/pc80: Avoid include of .c