Are there any news on this issue? While I don't fully understand all the
contributions, it looks to me that:
* the issue is confirmed;
* its not clear whether it is a grub or a kernel issue;
* nobody found a solution so far.
>From my point of view things have gotten worse. Also with Ubuntu 20.04
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: