[FIX] __switch_to for ARM