Initial support for floating point context switching

Only threads can use floating point. Each thread
that uses floating point must explicitly enable the FPU
before using floating point instructions, by calling
rtos_thread_enable_fpu().

Signed-off-by: J. German Rivera <German.Rivera@freescale.com>