Sinceramente, lo dudo, por varias razones, pero la más importante es que hay algunas instrucciones que están permitidas en el modo de 32 bits, pero no en el modo de 64 bits. Específicamente, el prefijo REX que se usa para codificar algunas instrucciones y registros en el modo de 64 bits es un byte de la forma 0x4f: 0x40, pero en el modo de 32 bits el mismo byte es INC o DEC con un operando fijo.
Debido a esto, cualquier instrucción de 64 bits que tenga el prefijo REX se interpretará como INC o DEC, y no le dará al VMM la oportunidad de emular la instrucción de 64 bits (por ejemplo, al señalar una excepción de código de operación indefinida).
La única forma de hacerlo es usar una excepción de captura para volver al VMM después de todas y cada una de las instrucciones para que pueda ver si necesita un manejo especial de 64 bits. Simplemente no puedo ver que eso suceda.