imx31_litekit: Place machine ID into board config