[Fneufneu]

It has a s912 processor (while most cheap ones I saw were s905). As far as I read here the s912 is better performing and the firmware issues this chip used to have seem to be solved nowadays. So s912 should be simply better choice than s905 correct?

Not that simple, look what OSMC dev say about S912 being inferior to S905:

We didn’t use an S912. There are a couple of problems with this chip:

• Task scheduling is broken, which means that threads are often placed on the little cores. This makes it slower than S905 devices under a series of workloads
  
• Mali userspace libraries are not licensed for Linux. Kodi on Linux for S912 uses an Android driver and a libhybris wrapper which causes some issues. Kodi v19 will use V4L2/GBM, so this workaround would not be possible. It wouldn’t make sense for us to launch a new product with a shorter lifespan than our former product.
  

source:
https://discourse.osmc.tv/t/vero4k-annou...t/73752/26