[[Repair a non-booting GRUB]]