I have similar experience with flashlow & flashstd (though found 850MHz sufficient for KMPlayer). And currenly running stock kernel so very annoyed when flashlow was off-air. If someone knows how to convert "Main" to "Baseline" on-device, please enlighten me/us.
This does not work:
ffmpeg -i video01.mp4 -acodec copy -vcodec copy -vpre "/usr/share/ffmpeg/h264-baseline" video02.mp4
Result: video02 is a copy of video01 and profile stays the same. Even using EasyDebian would be an option.

Interesting info about the increased power demand when frames "stick". I wonder if there's a tweak or work around one could use in KMPlayer so it skipped frames when the demand (power or cpu) spiked? I find the Ctrl+D frame drop has poor playback.

With flash 10.1 being an impossibility, I was trying to work out how to stream directly (no downloading), using get_iplayer. general instructions are in the get_iplayer documentation. I can stream radio fine using ffplay. I don't know how to send streams to the stock player via the command line and streaming to mplayer doesn't work (maybe it's get_iplayer, RTMPdump or ffmpeg); ffplay is poor too. All the same, now that flashlow is back we should be able to stream but it needs a little ironing out. Ideas welcome.

Re: other channels: I wondered whether any TMO users had grabbed OD content with RTMPdump and whether it was possible to play downloaded streams on the device, mainly with reference to UK TV OD streams. And, if anyone had, to give an example of the command line instruction.
BTW, re: RTMPdump, someone (self included) really needs to look at how to build a more recent version. I think v1.9 misses some headers off, which makes extraction from flv impossible - so it might download a 300Mb flv that's actually inaccessible; mainly this happens with long audio only streams, not mixed av streams.