[coreboot-gerrit] New patch to review for coreboot: SeaBIOS/Kconfig: Remove SEABIOS_MALLOC_UPPERMEMORY option