По ошибке попытался форматировать SSD-диск на 128 Гб (перепутал с флэшкой, в итоге BIOS не видит загрузчик Windows и Grub (на ноуте 2 системы). Каталог /boot/efi пустой. Как можно восстановить EFI? Желательно и для Linux, и для WIndows, хоть и «Windows must die».