more housekeeping

libvmi.h - remove stray /**

fix compile warning for format string (debug builds only), %x used for uint64_t