* adapted thread_stack_init() for ARM and msp430 to the new prototype introduced by bd5b46628f