This version executed sucessfully the kernel_init on a TSAR_2_2_2 (4 clusters / 2 cores) architecture.