/* * Save current CPU's FPU state. Must be called at IPL_HIGH. */