fixup

Author: illwieckz

src/trusted/service_runtime/CMakeLists.txt

@@ -461,7 +461,7 @@ if (LINUX AND NOT BUILD_ELSEWHERE)
 			# safely set reserve_top to 0x100000000.
 			list(APPEND BOOTSTRAP_FLAGS "-mcmodel=large")
 		else()
-			set(reserve_top "0x0")
+			set(RESERVE_TOP "0x0")
 		endif()
 	elseif (ARCH STREQUAL "i686")
 		set(LD_EMUL "elf_i386")