[coreboot-gerrit] New patch to review for coreboot: 78b780e cpu/x86/pae/pgtbl.c: comparision always false