Symbol: kvmppc_get_vmx_offset_generic