Alan Carvalho de Assis <acassis@gmail.com> imx31pdk.cfg reset init event