On the same sabresd board, I have linux-3.14-rc4 where 'reboot' works perfectly, and 3.10.17 beta where 'reboot' does not work. 'mxc_restart' in both kernel is similar, and after having replaced pr_err by pr_emerg for that message, with 3.10.17 beta I get 'Watchdog reset failed to assert reset'. What could be the reason ?