dboot_puts
dboot_puts("dboot_printf(): 1st arg is NULL\n");
dboot_puts("*NULL*");
dboot_puts(s);
dboot_puts("dboot_printf(): unknown % escape\n");