[coreboot-gerrit] Patch set updated for coreboot: xcompile: Tell gcc that we need to access NULL pointers occassionally