From Keith's post on the Forum (http://www.chipkit.org/forum/viewtopic.php?f=17&t=2437) I've created a DP32 project and added in the section to BoardConfig.h. This hex file has not been tested.