at91: rename rm9200ek and rm9200dk board file name