mx31pdk: Place machine ID into board config