KVM: x86: Use FPU API