replace USART1_IRQChannel with UART4_IRQChannel
Merge branch 'develop_openstm32' of https://github.com/openwsn-berkeley/openwsn-fw into develop_openstm32
1. get eui64  from uuid of stm32
2. finish debug pins
3. set uart to 115200