testbench: x86: add test for FPU context store/restore

Which blows up, as it should -- as of right now the microkernel doesn't save
and restore the FPU context between thread switches.
cpu: add lazy FPU context re-/store

This'll be especially useful as most services will be integer-only, avoiding
the FPU shuffle during IPC.