Originally, while dealing with some other patch, I merely noticed the
issue addressed by patch 1. That quickly grew then, though.

1: adjust reg_read() for 32-bit guests
2: adjust reg_write() for 32-bit guests
3: prefer hvm_long_mode_active() in decode_vmx_inst()
4: operand size in decode_vmx_inst()
5: address size in decode_vmx_inst()

Jan