set proper start of the stack in thread_stack_init for arm_common

7cef6c4 did not update all uses of stack_start, creating a bug where stk* is actually set to the end of the stack instead of the beginning after initialization.

Also fix up parenthesis