stallion: remove unneeded lock_kernel