[coreboot-gerrit] Patch merged into coreboot/master: e383442 x86: mtrr: add hole punching support