fix XEN_SAVE_RESTORE Kconfig dependencies