x86_x32: re-optimize

now larger than before though because properly using the x32
syscall interface