- fix half of [ 639143 ] va_list is not a pointer on linuxppc
- fix half of [ 639143 ] va_list is not a pointer on linuxppc

dariaphoebe/bochs,dariaphoebe/bochs,dbrashear/bochs,dbrashear/bochs,dbrashear/bochs,dbrashear/bochs,dariaphoebe/bochs,dariaphoebe/bochs,dbrashear/bochs,dariaphoebe/bochs