Avoid the lock in vtophys() by providing a static direct-mapped spinlock-
protected output buffer to use when the console driver cannot acquire locks
for some reason. This allows the idle thread to use printf() (e.g. the SMP
startup messages) without crashing the kernel.