I built a simpleBlePeripheral project and wanted to flash it onto my keyfob board. I chose project configuration as "cc2540f128dk-mini keyfob" hoping to see the generated hex being < 128k, instead it generates to about 288k. I downloaded it to my keyfob board using smartrf flash programmer. It downloads successfully. How does it do that? the hex is > 256k which is larger than my physical flash on the soc cc2540f256. Then I use smartrf flash programmer to read back the hex from the soc to my pc, it works successfully too but the hex file size on my pc is 721k. How did it read back 721k of file from a 256k soc?