Index: kernel/generic/src/main/main.c
===================================================================
--- kernel/generic/src/main/main.c	(revision 247fdeac73871cc6bd13ed2cc6665e081d3ea7cb)
+++ kernel/generic/src/main/main.c	(revision bc73be3215c832cdb0c8a5022db800902f9f62dc)
@@ -160,5 +160,5 @@
  *
  */
-NO_TRACE void main_bsp(void)
+_NO_TRACE void main_bsp(void)
 {
 	config.cpu_count = 1;