cpu cortex-common: fixed printf in thread_arch.c
cpu - stm32f4: changed cpu header file
cpu stm32f4 - minor fixes to io_arch and Makefile
board: some fixes + added debug script
cpu - stm32f4: added reboot arch and style fix