o Ensure va_list is declared by including stdarg.h.
o Also move printf.h to go after it since it does require declaration

of va_list.

This fixes build with latest RISC-V GNU Toolchain with GCC 8.1

Sponsored by: DARPA, AFRL