tcg/tci: Remove tci_read_r32