[coreboot-gerrit] New patch to review for coreboot: x86: Make sure boot device is mapped below 4G