I can confirm that those instructions are mostly correct, albeit the EFI partition needs to be `EFI
I can confirm that those instructions are mostly correct, albeit the EFI partition needs to be
EFI System Partition, not vfat
