Always put va_start() and va_end() around formatted output. Since fatal() never
returns, the va_end() must appear after vsnprintf(). That seems to fix the
recently reported "format string vulnerability", so please verify this fix.


git-svn-id: svn://svn.code.sf.net/p/bochs/code/trunk@12305 6c8e4198-a580-4521-a02f-c9ae86df1db9