at91: defined mach-types for meesc board in board config file