Given that CC3200 has no internal user flash and a huge RAM, is the platform going to support dynamic loading? Is uniflash for CC3200 going to support programming multiple images? Would there be any loader API to load the external flash image into the RAM?