[tde-users] Re: [OT] Need help installing Ubuntu on an EFI (not UEFI) machine