Reinstate do_console if kernel not provided

Signed-off-by: Richard Henderson <rth@twiddle.net>
1 file changed