6648 illumos build should be explicit about C standards

@@ -79,11 +79,11 @@
             CPU_INTR_ACTV_HIGH_LEVEL_MASK);
 
         printf("#define\tPIC_NSEOI 0x%x\n", PIC_NSEOI);
         printf("#define\tPIC_SEOI_LVL7 0x%x\n", PIC_SEOI_LVL7);
 
-        printf("#define\tNANOSEC 0x%x\n", NANOSEC);
+        printf("#define\tNANOSEC 0x%llx\n", NANOSEC);
         printf("#define\tADJ_SHIFT 0x%x\n", ADJ_SHIFT);
 
         printf("#define\tSSLEEP 0x%x\n", SSLEEP);
         printf("#define\tSRUN 0x%x\n", SRUN);
         printf("#define\tSONPROC 0x%x\n", SONPROC);

@@ -148,13 +148,13 @@
         printf("#define\tSE_64RVAL 0x%x\n", SE_64RVAL);
 
         printf("#define\tMAXSYSARGS 0x%x\n", MAXSYSARGS);
 
         /* Hack value just to allow clock to be kicked */
-        printf("#define\tNSEC_PER_CLOCK_TICK 0x%x\n", NANOSEC / 100);
+        printf("#define\tNSEC_PER_CLOCK_TICK 0x%llx\n", NANOSEC / 100);
 
-        printf("#define\tNSEC_PER_COUNTER_TICK 0x%x\n", NANOSEC / PIT_HZ);
+        printf("#define\tNSEC_PER_COUNTER_TICK 0x%llx\n", NANOSEC / PIT_HZ);
 
         printf("#define\tPITCTR0_PORT 0x%x\n", PITCTR0_PORT);
         printf("#define\tPITCTL_PORT 0x%x\n", PITCTL_PORT);
         printf("#define\tPIT_COUNTDOWN 0x%x\n",
             PIT_C0 | PIT_LOADMODE | PIT_NDIVMODE);