Ugly ugly va_args hack to make !x64 builds work...

Some mistakes were made (by me) in gnu-efi, and we need to make va_list
work right on non-x64 here without shim's include/system/.

Signed-off-by: Peter Jones <pjones@redhat.com>

Author: vathpela

certmule.c

@@ -5,6 +5,13 @@
  * Author(s): Peter Jones <pjones@redhat.com>
  */
 
+#ifndef __x86_64__
+#define __builtin_ms_va_copy __builtin_va_copy
+#define __builtin_ms_va_start __builtin_va_start
+#define __builtin_ms_va_end __builtin_va_end
+#define __builtin_ms_va_list __builtin_va_list
+#endif
+
 #include <efi.h>
 #include <efilib.h>