Comment 1 for bug 673613

I see this bug has been reported before, for instance here:
http://<email address hidden>/msg29250.html
and Laurent Desnogues noticed the problem while reviewing a patch in this area:
http://<email address hidden>/msg22251.html

The only code which looks at ts->info->host_argv is the code to handle SYS_GET_CMDLINE in the ARM semihosting support code arm-semi.c. My tentative suggestion is that we should instead make the semihosting support code read the argc/argv out of the userspace memory which loader_build_argptr has set up. (This is what linux-user/elfload.c does in fill_psinfo() as part of creating core dumps.)