diff --git a/groups/kernel/BoardConfig.mk b/groups/kernel/BoardConfig.mk
index 84ee63069..9c4a7b9d9 100644
--- a/groups/kernel/BoardConfig.mk
+++ b/groups/kernel/BoardConfig.mk
@@ -57,6 +57,7 @@ BOARD_KERNEL_CMDLINE += \
 
 BOARD_KERNEL_CMDLINE += \
       clearcpuid=517 \
+      initcall_debug \
       mce=no_lmce \
       mce=ignore_ce