__mte_enable_kernel
__mte_enable_kernel("synchronous", SCTLR_EL1_TCF_SYNC);
__mte_enable_kernel("asynchronous", SCTLR_EL1_TCF_ASYNC);
__mte_enable_kernel("asymmetric", SCTLR_EL1_TCF_ASYMM);