diff --git a/src/arch/arm/boot.c b/src/arch/arm/boot.c
index 93c6e1a..47df7e2 100644
--- a/src/arch/arm/boot.c
+++ b/src/arch/arm/boot.c
@@ -24,6 +24,7 @@
 
 #include "arch/arm/boot.h"
 #include "base/cleanup_funcs.h"
+#include "base/timestamp.h"
 #include "vboot/boot.h"
 
 static inline uint32_t get_sctlr(void)
@@ -51,6 +52,8 @@
 
 	uint32_t sctlr = get_sctlr();
 
+	timestamp_add_now(TS_START_KERNEL);
+
 	// Flush dcache and icache to make loaded code visible.
 	cache_sync_instructions();