Accoring to the C standard uint16_t can't be the type of the ``last'' argument of va_start() since it's not compatible with the type that results after application of the default argument promotion. So change it to uint32_t.
Accoring to the C standard uint16_t can't be the type of the ``last'' argument
of va_start() since it's not compatible with the type that results after
application of the default argument promotion. So change it to uint32_t.

ok miod@

orumin/openbsd-efivars,orumin/openbsd-efivars,orumin/openbsd-efivars,orumin/openbsd-efivars