When using FPU_KERN_NOCTX, we do not have state from which to restore the registers. We also don't expect to ever save the registers. No code should assume they are in a pristine state. Therefore, it seems like we should not need to clear them.
Now that we are using FPU_KERN_NOCTX in more of the crypto code, it would be nice to avoid unnecessary cycles on register restoration, if possible.