arm: Record the "start kernel" timestamp.

The ARM specific boot code wasn't recording the "start kernel" timestamp like
like it was on x86. This change fixes that.

BUG=None
TEST=Built and booted on nyan rev1 and verified that the timestamps reported
by cbmem now include this timestamp.
BRANCH=None

Change-Id: I762a8fdbcebb78d804f5d0f798ab7ab25ac31045
Signed-off-by: Gabe Black <gabeblack@google.com>
Reviewed-on: https://chromium-review.googlesource.com/188613
Reviewed-by: Julius Werner <jwerner@chromium.org>
Commit-Queue: Gabe Black <gabeblack@chromium.org>
Tested-by: Gabe Black <gabeblack@chromium.org>
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();