12013 fix GCC4 as primary compiler

          --- old/usr/src/tools/smatch/src/smatch_data/illumos_kernel.skipped_functions
          +++ new/usr/src/tools/smatch/src/smatch_data/illumos_kernel.skipped_functions
   1    1  /* These are "too hairy" for smatch. */
   2    2  ECDSA_VerifyDigest
   3    3  dtrace_disx86
   4    4  elf32exec
   5    5  elfexec
        6 +emlxs_sli4_process_unsol_rcv
   6    7  iscsi_ioctl
   7    8  lm_idle_chk
   8    9  ld64_sym_validate
   9   10  luaV_settable
  10   11  nostore_generate_key_pair
  11   12  sadb_common_add
  12   13  segvn_fault_vnodepages
  13   14  tcp_input_data
    

XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX