[coreboot-gerrit] Patch set updated for coreboot: 5a0e3d1 drivers/pc80: Avoid include of .c