I guess the arm_devices.xml should be edited, but I do not know the mandatory fields to add/modify.
The chip sdid (as reported by Arm Programmer) is 1206.
BR, -Topi
Sorry, 1206 is sdid for MK12DX256VLK5 (which was assembled in the board instead of *128*)...
-Topi