Adding some Bash command references for installing GRUB with EFI and
cryptodisk as well as a reference for setting up a live Debian ISO.