Correctly gets registers for x32 mode on x86_64