tcg: Add and use TCG_OPF_64BIT.