[coreboot-gerrit] New patch to review for coreboot: caeeb23 x86: mtrr: optimize hole carving above 4GiB