drivers/char/mmtimer.c: eliminate useless code