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 -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1770095 Title: Need fix to aacraid driver to prevent panic To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu-power-systems/+bug/1770095/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs