xen/arm,arm64: update xen_restart after ff701306cd49 and 7b6d864b48d9