As is well known the Harmattan flasher 3.12.1 cannot be used to flash an older PR release on a device that is flashed with a newer PR. Is that limitation built into the flasher executable or is it enforced in the NOLO part of the system on the device somehow?