Thanks for the links, but I saw them already and that's not really solving my problems
The Debian kernel shall be non-Android one, so I assume this git repo and branch from the Debian build
* git URL: https://github.com/96boards/linux.git
* git branch: origin/hikey
shall be fine for my purposes.
Regarding media stack - if there's no HW A/V stack available, everybody uses software AV decoding? (i.e. GStreamer, ffmpeg, etc.)