Use AARNet mirror for Debian 10 ISO (now that they mirror it)
Use AARNet mirror for Debian 10 ISO (now that they mirror it)

Change-Id: I2bca6159556a89dae1a0ded05a295a2f50aa8169

NeCTAR-RC/nectar-images,NeCTAR-RC/nectar-images