CONFIG_XEN_SAVE_RESTORE (not configurable)
configname: CONFIG_XEN_SAVE_RESTORE
Linux Kernel Configuration
└─>Processor type and features
└─>Linux guest support
└─>XEN_SAVE_RESTORE