For consideration:
omitting the test for the last two bits we could save some cycles in worst case by
```C
diff = stack & 0x3
stack += diff
stacksize -=diff
```
Same would be possible for `tcb_address`.