On 13.04.2015, Tim wrote: > Is the second one (efi) actually a partition, or just a directory > inside /boot? It is a partition of its own, and must be FAT formatted.