Detecting a which kernel to boot when resuming

Hi all,

I have several kernels installed and from which to choose on boot.
Generally I want the default (latest), but I'm encountering a TOI bug
(see users ML for issue).  So I want to use a known stable kernel, but
which isn't the default.  On resuming, after successfully hibernating,
I'll have to remember exactly which kernel I used to hibernate the
machine.  This is a little inconvenient and error-prone.

Iirc, TOI detects and won't resume if there is a kernel mismatch, but
it would be nice to know at boot time exactly which kernel version was
used to a hibernate a particular image.  I'm sure this information is
stored in the hibernation image.  Is there documentation on the
structure of the hibernation image?  A tool could (or maybe grub
script) could be written to read this value and display it to the user.

Any comments positive or negative are welcome.

Glenn