[PATCH] comedi_rt_timer

Hi,

Here's a trivial patch that closes comedi device file when detaching
comedi_rt_timer driver.

	Emmanuel.