[mido] GPS not working if you reboot the phone with GPS disabled and enable it

[mido] GPS not working if you reboot the phone with GPS disabled and enable it
none 0.0 0

I find impressive the huge amount of bugs that are present for mido / Xiaomi redmi note 4
Unfortunately, this is the end for me. I’ll post this bug report and I’m gone. I do hope that “Yang Cyborg” starts working on this device because he should be ashamed of how bad it is.

Bug description:
GPS doesn’t get any satellite if you restart your system with GPS disabled and re-enable it afterwards.
Affected version:
MK100.0-mido-210921-RELEASE.zip
Maybe others, it’s the first time using this ROM
Steps to replicate:
Turn off GPS and restart your device
Turn on GPS
Open any software that uses GPS: it will show up as 0 satellites available and it won’t get a fix
Turning off and on GPS and/or restarting the device with GPS on sometimes fixes the issue

I could provide a screenshot from “gps status and toolbox” but all you see is “0 out of 0 satellites available”. It requires the GPS to be disabled and enabled and restart the system to get it to show “0 out of something satellites” and start working