Symbol: ttbr0_usermode_access_allowed