I just read through the CC3120 and CC3220 SimpleLink Wi-Fi Embedded Programming User's Guide. Throughout the guide, it mentions downloading a patch to the ROM bootloader. I haven't been able to find any bootloader patch files -- is one currently available somewhere?