It's worth noting that for the Redmi Note 13 Pro (garnet), there's no mobile signal in xiaomi.eu MIUI 14 or HyperOS 1.0 until the global firmware is flashed in TWRP (https://xiaomifirmwareupdater.com/firmware/garnet). That's coming straight from the official global ROM with mobile signal working. All I did was format data in TWRP in between flashing, so something needs to be fixed with it.