Got it, thanks.
I can change the SD installer to use the kernel under /lib/boot, if there is one, instead of the one under /boot. Is this what people want?
On the other hand, if 3.2 is supposed to be the default, shouldn't they be the other way around?