Thanks @PCSpecialist for sending the latest UEFI/BIOS at my request last week. Got time to do the update today as procedure set out in the email I received with the update. A quick mount and reinstall of @debian via 'grub-install' and a 'update -grub' and was back to work. ๐
Aug 11, 2020 ยท 11:00 AM UTC
