mx53evk: Place machine ID into board config