Mike Cairns Blog: FRDM-K64F flashing using JTAG