[PATCH] dvb: dvb_frontend: use time_after()