Make assembly programs compatible with the XMOS XS1 ABI