tcl/board: Add config for XMOS xCORE-XA Core Module ARM debugging