Yes, you can add EXTRAVERSION info to the kernel name. This is done in the file: ~/debian.master/changelog. The top line would be changed like the following:
linux (4.15.0-20.21) bionic; urgency=medium
TO
linux (4.15.0-20.21~lp1770095) bionic; urgency=medium
Yes, you can add EXTRAVERSION info to the kernel name. This is done in the file: ~/debian. master/ changelog. The top line would be changed like the following:
linux (4.15.0-20.21) bionic; urgency=medium
TO
linux (4.15.0- 20.21~lp1770095 ) bionic; urgency=medium