Support x86_64 in 32 bits mode

This changes the structure of the registers, the name of the registers used for parameters/return values, and the system call numbers.