SMP Free-RTOS porting on Pandaboard ES