etherboot_vsprintf
return etherboot_vsprintf (buf, fmt, ((const int *) &fmt) + 1);
(void) etherboot_vsprintf (0, fmt, ((const int *) &fmt) + 1);