To clarify.. VideoPlayer changes in Krypton left Amlogic support completely broken, but we backported work from Leia that solves most of the main problems. Unfortunately the "vpudate" branch changes in Leia quickly diverged beyond a point where we could sensibly backport anything more so Krypton remains in limbo. Your next challenge will be an Amlogic mainline kernel. This will only support S9xx chipsets and maybe S8xx, but not the 8726MX in the WP1. If a viable mainline kernel arrives in advance of Leia we will drop WP1 support and focus on a modern codebase. At the moment it doesn't look like the timing will align, so WP1 will get 9.0, probably..