Ampere 9.0 TFHE output drivers need help