We expect VCPUOP_register_vcpu_info to succeed, do not try to handle
failures.
Signed-off-by: NStefano Stabellini <stefano.stabellini@eu.citrix.com>
Acked-by: NIan Campbell <ian.campbell@citrix.com>