[PATCH v4 23/25] efi_loader: Drop comments about incorrect addresses