Will we get updated porting guide? The old links does not exist and it is just miui 5. It would be nice if we could get new guide how to port miui 12 for other devices.