Comment 2 for bug 1883785

Upon some further research, it looks like this bug is similar: https://bugs.launchpad.net/ubuntu/+source/grub2/+bug/1848892
However, that bug seems to happen all the time where as for me it's intermittent.

I tried the workaround from the linked bug and can confirm that when I experience the issue I can boot successfully by:
* 'c'
* grub> rmmod tpm
* 'esc'
* 'enter' to select normal boot menu entry.