vsprintf.h is gPXE-specific; move it to include/gpxe