uCLinux kernel for stm3220g-eval board, with power-monitoring-oriented logs