tree 9844d518155af0386beacc0302e3af47dfd805fb
parent 6dd8bea7b98988e970f48a17b314c80e5a6c01b9
author Richard Henderson <rth@twiddle.net> 1479060504 +0100
committer Richard Henderson <rth@twiddle.net> 1479060504 +0100

Reinstate do_console if kernel not provided

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