Kernel space is a very different world to user space. In kernel space, if a mutex is already taken then must be because some other CPU is actively running while holding the lock. So spinning is very likely the best thing to do.