ARM Kernel stubs: Fix mutex stubs