win32 does not know uint64_t without stdint.h

Signed-off-by: Andy Green <andy.green@linaro.org>