Use the command line flash to reflash just the kernel back to the original kernel Code: flasher-3.5 -f --flash-only=kernel -R -F <firmware-image>
flasher-3.5 -f --flash-only=kernel -R -F <firmware-image>