Пробовал поставить Дебиан с загрузкой через EFI. Установщик при автоматической разметке диска просит под EFI полгига, я дал сто мегабайт. После установки в /boot/efi занято сто с копейками килобайт под единственный файл груба. Вопрос: сколько и главное, нафига под этот EFI раздел нужно? Есть ли какие-то официальные рекомендации? А то я теряюсь в догадках, то ли под раздел и мегабайта за глаза хватит, то ли при каком ни будь там обновлении вдруг все сто могут понадобиться.