SCTLR_ELx_ENTP2
orr x1, x1, #SCTLR_ELx_ENTP2 // Disable TPIDR2 traps
write_sysreg(read_sysreg(SCTLR_EL1) | SCTLR_ELx_ENTP2, SCTLR_EL1);