# CONFIG_EFI_VARS_PSTORE is not set