Didn't see anything posted on here about it, unless I was being blind, but seems Xiaomi have been pretty quick this time around in releasing the source for the Mi5
The news that you have been anxiously waiting for is here. Xiaomi has released the official kernel sources for your beloved Mi 5/Pro. So all you Android fans can rejoice and start cooking custom ROMs, mods, patches and most of all help in development and make the Mi 5 a better devices according to your satisfaction and liking.
The kernel source can be accessed at: