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