/* Make sure that notification functions are not called anymore */
efi_tpl = TPL_HIGH_LEVEL;
-#if defined(CONFIG_CMD_SAVEENV) && !defined(CONFIG_ENV_IS_NOWHERE)
- /* save any EFI variables that have been written: */
- env_save();
-#endif
+ /* XXX Should persist EFI variables here */
board_quiesce_devices();