mx31ads: Place machine ID into board config