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