core: align stack on a 32bit boundary

Fixes #1267.
core: split TCB from stack
SQUASH ME: fix thread_create() usage