Adding a missing instruction for EFI installations

This commit also adds a link to rEFInd which is a useful tool to manage
EFI systems. If this link is not desired, I can remove it.
Merge pull request #3336 from DamienCassou/installing-on-efi

Adding a missing instruction for EFI installations