int64_t is defined in stdint.h, thus including stdint.h here.

otherwise, core_kernel fails to compile on FreeBSD