Rebased with 5c1f59ec66b396d6f4b9ca80a47aba57020b50d6
Update load_rax and store_rax to support X32