This is required when building with an external clang.
I have created https://reviews.llvm.org/D44604 to try and upstream the clang stdarg.h changes I made for CHERI clang. However, it may be possible that the clang <stdarg.h> is included before <machine/stdarg.h> so we should check before defining va_start, etc.