target-arm/arm-semi.c: Fix broken SYS_WRITE0 via gdb