fixes issue #31

To avoid compiler allocating `register r4` for `(tcb_t *) sel` which corrupts the interrupted context,
`sel` is forced to allocate `register r1` for its use.