Index: kernel/generic/src/main/main.c
===================================================================
--- kernel/generic/src/main/main.c	(revision da52547b3a8fc0b23125d3adbd5622075264ee53)
+++ kernel/generic/src/main/main.c	(revision 0c61955d1de286c187f2c43fd9ba4639dda1db5a)
@@ -131,5 +131,5 @@
  *
  */
-void __attribute__((no_instrument_function)) main_bsp(void)
+NO_TRACE void main_bsp(void)
 {
 	config.cpu_count = 1;