[TUHS] 32V kernel update