tcg-i386: Adjust tcg_out_tlb_load for x32