# CONFIG_XEN_SAVE_RESTORE is not set
