Symbol: KVM_REG_ARM_SMCCC_ARCH_WORKAROUND_1_NOT_AVAIL