Fix some ARM assembly in MONO_CONTEXT_GET_CURRENT ().