Kernel Upgrade and EFI Partition Questions?

More on this particular case here: