support it in the kernel yet. If we don't do this, GDB arbitrarily assumes we wanted it to be 9, which is silly. In the kernel, leave it undefined so that sys_process.c doesn't generate code for it.
version, but with some #ifdefs for arm26. Also, don't define PT_STEP, since we don't implement it. This should reduce code size a little.