Xiaomi has released Android 8.0 kernel sources for the Mi A1. The device's Nougat sources were released a few weeks ago, so this is rather unexpected from Xiaomi. A surprise, but a welcome one to be sure.
https://www.notebookcheck.net/Xiaomi-has-released-Oreo-kernel-sources-for-the-Mi-A1.289472.0.html