Merge pull request #1401 from ricarkol/solo5_should_not_set_boot_at

solo5: should not set booted_at to the new reboot time after a solo5_exec

Author: fwsGonzo

src/platform/x86_solo5/os.cpp

@@ -144,9 +144,8 @@ void OS::start(char* _cmdline, uintptr_t mem_size)
   extern void __platform_init();
   __platform_init();
 
-  booted_at_ = solo5_clock_monotonic();
   MYINFO("Booted at monotonic_ns=%lld walltime_ns=%lld",
-         booted_at_, solo5_clock_wall());
+         solo5_clock_monotonic(), solo5_clock_wall());
 
   MYINFO("Initializing RNG");
   PROFILE("RNG init");