drivers/serial/crisv10.c: add missing put_tty_driver