Poco F1, running a GKI kernel, and device specific modules loaded separately.

Video by Sumit Semwal

Additional Details:
* Xiaomi Pocof1 (beryllium) device config is hosted at:
 https://github.com/pundiramit/device-xiaomi-beryllium

* GKI (android-5.4.17) Image.gz and kernel modules are copied from
device/linaro/dragonboard-kernel project, built as part of the Android
CI.

* Kernel source for prebuilt vendor kernel modules (panel, labibb
regulator) and DTB is hosted at:
 https://github.com/pundiramit/linux/tree/beryllium-android-5.4

* Adreno firmware binaries are copied from stock PocoF1 images.