Re: [PATCH 6/7] doc/platform-requirements: Initialise va_list before va_start()