/imx31lk_machdep.c/1.29/Tue Aug 17 22:00:28 2021//Tnetbsd-10
/imx31lk_pcic.c/1.6/Mon Nov 12 18:00:39 2012//Tnetbsd-10
/imx31lk_reg.h/1.2/Sun Apr 27 18:58:46 2008//Tnetbsd-10
/imx31lk_start.S/1.7/Sat Nov 28 14:29:31 2020//Tnetbsd-10
D