use unit64_t for CPUID and timestamp code