Bringing chipKIT-core's platforms.txt (the one MPIDE uses) up to date with what's in MPIDE right now. (since chipKIT-core doesn't use platforms.txt, this doesn't matter but makes diffing easier).
Bringing chipKIT-core's platforms.txt (the one MPIDE uses) up to date with what's in MPIDE right now. (since chipKIT-core doesn't use platforms.txt, this doesn't matter but makes diffing easier).

majenkotech/chipKIT-core,EmbeddedMan/chipKIT-core,pontech/chipKIT-core,ricklon/chipKIT-core,chipKIT32/chipkit-core,adamwolf/chipKIT-core,EmbeddedMan/chipKIT-core,pontech/chipKIT-core,majenkotech/chipKIT-core,majenkotech/chipKIT-core,chipKIT32/chipkit-core,ricklon/chipKIT-core,adamwolf/chipKIT-core,chipKIT32/chipkit-core,adamwolf/chipKIT-core,chipKIT32/chipkit-core,pontech/chipKIT-core,EmbeddedMan/chipKIT-core,majenkotech/chipKIT-core,ricklon/chipKIT-core,pontech/chipKIT-core,pontech/chipKIT-core,majenkotech/chipKIT-core,adamwolf/chipKIT-core,adamwolf/chipKIT-core,chipKIT32/chipkit-core,majenkotech/chipKIT-core,majenkotech/chipKIT-core,ricklon/chipKIT-core,ricklon/chipKIT-core,EmbeddedMan/chipKIT-core,adamwolf/chipKIT-core,pontech/chipKIT-core,EmbeddedMan/chipKIT-core,EmbeddedMan/chipKIT-core,adamwolf/chipKIT-core,pontech/chipKIT-core,ricklon/chipKIT-core,EmbeddedMan/chipKIT-core