tcl/target: Add config for XMOS XS1-XAU8A-10's ARM core