If you manually partition your Linux PC, you're setting up all the necessary partitions for your system and allocating disk ...

For anyone wondering how to do this from OS X, you can mount the EFI partition using the mount command. It's a FAT partition, but isn't marked as such, so you'll need to specify a partition type, for ...