Booting an SMP RTOS from Bare Metal