[coreboot-gerrit] New patch to review for coreboot: 7312841 tegra132: split memory range querying to above/below 4GiB