[vdr] Possible SMP problems with budget_av/saa7134