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,15 +51,19 @@
         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
 #