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