Thanks Forpli for these instructions, I did that and it didn't give me the option of the new kernel during Grub menu. I still only have 6.17.0-35. Are we missing something?
I followed the instructions here to 'nuke' it so maybe I need to 'unpurge' it somehow?
Thanks!