Merge remote-tracking branch 'remotes/vivier2/tags/linux-user-for-4.0-pull-request...