[PATCH 0/2][4.17] x86: (re-)wire two VCPUOP_* for 32-bit guests

[Jan Beulich]

1: re-connect VCPUOP_send_nmi for 32-bit guests
2: wire up VCPUOP_register_vcpu_time_memory_area for 32-bit guests

As to 4.17: Patch 1 addresses a recently introduced regression, while
the issue patch 2 addresses has been there effectively forever (so
cannot really be viewed as a regression).

Jan