On Sun, Aug 25, 2013 at 5:47 PM, Otavio Salvador <otavio at ossystems.com.br> wrote: > I think kernel has 19s by default, no? Yes, it does, but the problem is that it is not resetting the board.