[TESTING] Linux 4.9 kernel and improved video stack for Vero 4K / 4K +

Here are the debug logs with a movie with hickups:
https://paste.osmc.tv/ixasotasac

I hope anybody can find a solution, these play fine on other devices like the Shield.