Add mention of EFI/BOOT folder.