On RV32, zero-extend pointers for HTIF