Migration Pull request (take2) With respect to the last PULL request: - fix compilation on hosts without userfaultd. Please, apply.
Migration Pull request (take2) With respect to the last PULL request: - fix compilation on hosts without userfaultd. Please, apply.