[coreboot] Patch set updated for coreboot: e9a16dd Fix the build