Re: [PATCH] arm64: Clear OS lock in enable_debug_monitors