You said it boots stock GENERIC just fine. My first reaction would
be to try building GENERIC.MP on the SS10 running GENERIC. It'll
take a while, but it strikes me as worth trying.
Yeah I had thought about that, but that would be a challenge. The
SS10 in question is on the exhibit floor at LSSM, and there's no UPS
for those machines. We've been having fairly severe thunderstorms
pretty much every day recently (drill baby drill, etc) so I'm not
comfortable leaving the machine up for long enough for a single SM41
to build an entire kernel.