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