DVBSky S960CI has suddenly started to oops with kernel NULL pointer dereference