STM32 dual stack and its use in uCOS-II