[S390] arch/s390/kernel/debug.c: use mutex instead of semaphore