Symbol: kvm_hyp_handle_cp15_32