efistdarg.h is broken