x86/entry: KVM: Use dedicated VMX NMI entry for 32-bit kernels too