Support FPU context handling.

Support FPU registers saving and restoring
when doing context switch.  It would use
EXC_RETURN[4] in lr to identify floating
point context, and save/restore FPU registers
if so.

Fixes #9