Function human_readable_output_booted 

fn human_readable_output_booted(
    out: impl Write,
    host: &Host,
    verbose: bool,
) -> Result<()>