etherboot_sprintf
extern int etherboot_sprintf(char *, const char *, ...);
#define sprintf etherboot_sprintf
q += etherboot_sprintf (q, "%d.", *r);
q += etherboot_sprintf (q, "%hhX:", *p);