So there are only a few ways for users like me with RPi2/3 and DVBSky S960: staying at the "last" running build 8.0.2, changing the hardware or changing the distro (to a one with kernel <4.9). Or hoping for a kernel-patch. Right?
Changing the distro will not work because some new features (like improved HEVC support) require a new kernel.
Current master of LE 9.0 can still be built with an older kernel as long as you use this version of hevc optimizations patch and an older version of ffmpeg (3.3.2-30554d7).