picking an ARM board with jtag for debugging