diff --git a/board/nvidia/common/board.c b/board/nvidia/common/board.c
index 6af317b..0db95ff 100644
--- a/board/nvidia/common/board.c
+++ b/board/nvidia/common/board.c
@@ -177,6 +177,9 @@ int board_mmc_init(bd_t *bd)
 #ifdef CONFIG_BOARD_EARLY_INIT_F
 int board_early_init_f(void)
 {
+	/* We didn't do this init in start.S, so do it now */
+	cpu_init_cp15();
+
 	/* Initialize essential common plls */
 	clock_early_init();