vkernel - Fix FP corruption in VMX/EPT mode