IMPORTANT NOTE:
The installation of Ubuntu overwrites the EFI boot area that we created earlier in the “Installing rEFInd” section. But without the EFI boot area, the Ubuntu installation would fail for some reason that I haven’t figured out. Thus, we’ll have to install rEFInd again.