A console driver that wraps another with a spinlock.  We usually don't want
spinlocks, but if we want to debug the scheduler, we have to use them here.