I just updated my Debian install and a new kernel has been installed, however I know that I have to run flash-kernel manually.
However when I type flash-kernel
-bash: flash-kernel: command not found
Is this the correct way to issue the command? What way works?