Change clock source to boottime on linux.

CLOCK_MONOTONIC does not account for time when suspend.
And CLOCK_BOOTTIME does it.

Signed-off-by: Jerry Yu <jerry.h.yu@arm.com>
diff --git a/library/platform_util.c b/library/platform_util.c
index e903f8e..c67b80d 100644
--- a/library/platform_util.c
+++ b/library/platform_util.c
@@ -235,7 +235,11 @@
     struct timespec tv;
     mbedtls_ms_time_t current_ms;
 
+#if defined(__linux__)
+    ret = clock_gettime(CLOCK_BOOTTIME, &tv);
+#else
     ret = clock_gettime(CLOCK_MONOTONIC, &tv);
+#endif
     if (ret) {
         return time(NULL) * 1000;
     }