12013 fix GCC4 as primary compiler

*** 1,10 ****
--- 1,11 ----
  /* These are "too hairy" for smatch. */
  ECDSA_VerifyDigest
  dtrace_disx86
  elf32exec
  elfexec
+ emlxs_sli4_process_unsol_rcv
  iscsi_ioctl
  lm_idle_chk
  ld64_sym_validate
  luaV_settable
  nostore_generate_key_pair