Merge remote-tracking branch 'remotes/lvivier-gitlab/tags/linux-user-for-7.0-pull...