Comment 20 for bug 1880663

While that was not meant for me, I can confirm that the issue happened to me with this configuration.
grub2 2.02-2ubuntu 8.15 is still there, and
http://paste.ubuntu.com/p/9GqBwtW7sd/

lists the mentioned kernels when I reported the issue on the Ubuntu forums:
https://ubuntuforums.org/showthread.php?t=2443622