bootx_printf
static void __init bootx_printf(const char *format, ...)
static void __init bootx_printf(const char *format, ...) {}