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

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

Jan