ProgramArgumentList: correct handling on 64 bit mode

[privat]

in 64bit mode, argc and pointers in argv are 64 bit wide in memory.

This change makes the argc/argv more consistent with the expected memory handling in 64 bit.

It also makes assembly code compatible with the Linux-RV64 ABI