# CONFIG_EFI_VARS is not set