[coreboot-gerrit] Patch merged into coreboot/master: 28adb6e coreboot table: use memrange library