x32: Encode %esp as %rsp to avoid 0x67 prefix