yes, it's trivial within the the SDK (scratchbox) apt-get source kernel cd kernel-2.6.28 fakeroot dpkg-buildpackage -b and then install it and the kernel-flasher package, which basically runs "fiasco-flasher --kernel $KERNEL -f ". I haven't tried reflashing the kernel yet, however. Let me know if you have success.