Hi
If you want to build it yourself download the open source uTasker project from GITHUB and configure its serial loader [config.h] with
#define FRDM_KV31F
#define SERIAL_INTERFACE
#define KBOOT_LOADER
and build with KDS, MCUXpresso, Keil, IAR, Green Hills, CooCox, GCC make file, Rowley or simulate the KV31 in Visual Studio.
Regards
Mark