11787 Kernel needs to be built with retpolines
11788 Kernel needs to generally use RSB stuffing
Reviewed by: Jerry Jelinek <jerry.jelinek@joyent.com>
Reviewed by: John Levon <john.levon@joyent.com>

*** 51,65 ****
--- 51,69 ----
          fpu.o           \
          i86_subr.o      \
          lock_prim.o     \
          ovbcopy.o       \
          polled_io.o     \
+         retpoline.o     \
          sseblk.o        \
          sundep.o        \
          swtch.o         \
          sysi86.o
  
+ DBOOT_OBJS +=           \
+         retpoline.o
+ 
  #
  # 64-bit multiply/divide compiler helper routines
  # used only for ia32
  #