Axe SMP support, the ses device, and the atapifd device from the kern.flp

boot kernel so it fits again.  This actually gives us quite a bit of
breathing room, so some more ethernet drivers might be turned on now in a
later commit.

release/alpha/dokern.sh

@@ -21,10 +21,13 @@ sed	\
  	-e '/INVARIANTS/d' \
  	-e '/INVARIANT_SUPPORT/d' \
  	-e '/WITNESS/d' \
+ 	-e '/SMP/d' \
+	-e '/atapifd/d' \
 	-e '/atapist/d' \
 	-e '/	ncr/d' \
 	-e '/	sa/d' \
 	-e '/pass/d' \
+	-e '/ses/d' \
 	-e '/	amr/d' \
 	-e '/splash/d' \
 	-e '/	apm/d' \