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