Hi,
maybe Mark could post this to MIUI-Devs responsible for Milestone-releases. According to nadlabak's infos (his CM6/7 is base of MS-MIUI), these steps should solve the aGPS-issue:
Of course I know all kind of workarounds (GPS-Status App, change NTP-Servers in gps.conf, etc), but these are...