6648 illumos build should be explicit about C standards

*** 79,89 ****
              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\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);
--- 79,89 ----
              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%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,160 ****
          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_COUNTER_TICK 0x%x\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);
--- 148,160 ----
          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%llx\n", NANOSEC / 100);
  
!         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);