After resuming from hibernation, DVB tuning fails consistently. VLC reports:

dtv stream error: cannot set frontend tuning parameters: Resource temporarily
unavailable

The issue can be solved reproducibly by

# rmmod smipcie
# modprobe smipcie

for the DVBSky S950 DVB-S2 card, or

# rmmod budget_ci
# modprobe budget_ci

for the TECHNOTREND TT-Budget C-1501 DVB-C card

(tested with two PCs running the same Tumbleweed release)

After entering these lines, tuning works again. My request is that it should
not be necessary to manually remove and load a kernel module to make tuning
work again.

Not a new issue, but it remained unresolved until today.