Ubuntu 24.04 booting problems #dualboot #uefi #2404 #thinkpad #efibootmgr https://askubuntu.com/q/1563626/612