Many thanks for your reply, Aruna. Is there a way to remove the installed '5.12.0-rc3-GIDI_DEV+' kernel ? A reverse command for the 'sudo make modules_install install' command ? I found this link which explains how to do it manually (https://www.cyberciti.biz/faq/debian-redhat-linux-delete-kernel-command/), I wonder if there is a safer way.

Thanks,

Gidi

On Mon, Mar 22, 2021 at 11:20 PM Aruna Hewapathirane <aruna.hewapathirane@gmail.com> wrote:

On Mon, Mar 22, 2021 at 5:18 PM Aruna Hewapathirane <aruna.hewapathirane@gmail.com> wrote:
<snip>
update-initramfs: Generating /boot/initrd.img-5.12.0-rc3-GIDI_DEV+
dpkg: warning: version '5.12.0-rc3-GIDI_DEV+' has bad syntax: invalid character in revision number
dpkg: warning: version '5.12.0-rc3-GIDI_DEV+' has bad syntax: invalid character in revision number

<snip>

Sorry I forgot to tell you if you look carefully the warning actually says : version '5.12.0-rc3-GIDI_DEV+' has bad syntax: invalid character in revision number :-)