I was just logging in to suggest that.
But, it does not fully work with the latest hdmu image st7162 (14317). It fixes the problem with the tuners, but trying to playback a recording it fails. (error no demux...)
Have you tried playing back a recording with the replaced pti and stmdvb?playing 1:0:0:0:0:0:0:0:0:0:/hdd/movie/recording.ts< 92.081406> [eDVBCAService] free slot 0 demux 0 for service 1:0:1:1D5F:C3B4:7E:460000:0:0:0:
< 92.081853> [eDVBCAService] free service 1:0:1:1D5F:C3B4:7E:460000:0:0:0:
< 92.147922> [eTSMPEGDecoder] decoder state: play, vpid=ffffffff, apid=ffffffff
< 92.148489> [eDVBPCR0] DEMUX_STOP ok
< 92.148704> [eDVBPCR0] destroy
< 92.148892> [eDVBVideo0] DEMUX_STOP ok
< 92.149721> [eDVBVideo0] VIDEO_STOP ok
< 92.248446> [eDVBVideo0] destroy
< 92.248877> [eDVBAudio0] AUDIO_STOP ok
< 92.344080> [eDVBAudio0] DEMUX_STOP ok
< 92.344748> [eDVBAudio0] AUDIO_CONTINUE ok
< 92.345015> [eDVBAudio0] destroy
cleaning up
TuxTxt cache cleared
< 92.364361> [eDVBResourceManager] start release channel timer
getResolvedKey config.usage.remote_fallback failed !! (Typo??)
< 92.430709> [eDVBServicePMTHandler] alloc PVR
< 92.430935> [eDVBLocalTimerHandler] remove channel 0x2be09128
< 92.433950> [eEPGCache] remove channel 0x2be09128
< 92.448729> [eEPGCache] abort caching events !!
< 92.463475> [eDVBChannel] getDemux cap=00
< 92.463680> [eDVBResourceManager] allocate demux cap=00
< 92.468040> [eDVBResourceManager] no free demux found
< 92.468134> [eDVBServicePMTHandler] Allocating non--decoding a demux for PVR channel failed.
[__evUpdatedEventInfo]
[__evUpdatedEventInfo]
resolved to PLAY
< 92.588724> [eDVBServicePlay] unpause