x86-64: Add user_64bit_mode paravirt op