Martin Michlmayr wrote:
You can flash it with: flash-kernel You can re-generate an initrd with update-initramfs -u
It seems to me that if the initramfs in flash is damaged, and the system can somehow be booted (e.g. loading an initrd via Redboot) and the image in /boot is intact, then one simply needs to run flash-kernel then reboot. Steve