Fix time.h header.

Signed-off-by: Pol Henarejos <pol.henarejos@cttc.es>

src/hsm/cmd_extras.c

@@ -19,9 +19,9 @@
 #include "mbedtls/ecdh.h"
 #if !defined(ENABLE_EMULATION) && !defined(ESP_PLATFORM)
 #include "hardware/rtc.h"
-#include <time.h>
 #else
 #include <sys/time.h>
+#include <time.h>
 #endif
 #include "files.h"
 #include "random.h"