If I remember correctly, and someone can correct me if I am wrong, KRS needs to see your system as being on release 4.0 before the keycodes will migrate to the 450 platform. So, generate your 3.7 to 4.0 upgrade license in KRS to convert the keycodes to release 4.0 format, then use your migration keycodes to move the licenses from the old system to the new system.