/imx31lk_machdep.c/1.30/Thu Apr 20 08:28:04 2023//Tnetbsd-11
/imx31lk_pcic.c/1.6/Mon Nov 12 18:00:39 2012//Tnetbsd-11
/imx31lk_reg.h/1.2/Sun Apr 27 18:58:46 2008//Tnetbsd-11
/imx31lk_start.S/1.7/Sat Nov 28 14:29:31 2020//Tnetbsd-11
D