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