Você deve corrigir /etc/initramfs/post-update.d/flash-kernel
para que ele exiba seu kernel & initrd. Está em / etc, então você está livre para editá-lo para que ele funcione na sua placa.
Se você não pode editá-lo para que ele funcione (por exemplo, o flash é feito com o JTAG), então você deve imprimir um grande aviso para lembrá-lo de flash e exit 0
.
Depois de corrigi-lo, você pode executar dpkg --configure -a
.