non credo si quello il modulo

rtc è tra i driver char e dovrebbe essere il modulo del timer