[coreboot-gerrit] Patch set updated for coreboot: 95d4d9c mainboard: Remove duplicate header include