Fix locking bug in "acquire_console_semaphore_for_printk()"