Symbol: KVM_ARM_PSCI_1_2