hott driver: disable vario printf