at91rm9200 : reset_config should go to the board config file