Make printk() console semaphore accesses sensible