[DRWTSN32][SHIMDBG] Add missing va_end.