mx31pdk: Place machine ID into board config

Let common code set the machine ID.

Signed-off-by: Fabio Estevam <fabio.estevam@freescale.com>
2 files changed