chipKIT32/chipKIT32-MAX — pull request #379 by KeithV (2013-08-16 18:56:12+00:00)
Title: upload max was sized too small, sized for USB not FTDI

The chipKIT Cmod uses and FTDI chip and does not use the USB bootloader. The USB bootloader is a splitflash bootloader using 4K of program flash that the Cmod does not need to use. Boards.txt was copied from the DP32 which uses the USB bootloader and the max upload size for the Cmod was 4K too small leaving room for the non-existent USB code. This updates the max upload size to allow the use of the last 4K of flash.