void boot_printf(unsigned char color, const char *format, ...);