Symbol: kvm_inject_s2_fault