It needs to be investigated whether it can be replaced by a real
mutex, but that needs more thought and investigation.
Signed-off-by: Thomas Gleixner <tglx@linutronix.de>