Hello Kevin,
The only support for boards that Processor Expert adds is that it creates some components already configured for the boards.
For example, for the FRDM-KL25 there is a Red_LED component, that is basically a GPIO component with a custom name and the pin already configured to the one that is connected to the red pin of the RGB Led in the board.
But all the microcontrollers used in the boards you mention are already supported in Processor Expert, so you can begin to work with all the boards immediately.
Regards,
Santiago