[PATCH 3.18 79/85] media: dvb_frontend: fix locking issues at dvb_frontend_get_event()