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

[monkey]

Does kernel 4.9 and this improved video stack play nice with the Kodi 19 nightlies?