lethe: notes on restoring UEFI grub