Docs: update va_arg example with valid x86_64 va_list type.