[coreboot-gerrit] Patch set updated for coreboot: Provide a gcc-safe null pointer