залить то понятно как. достаточно переписать и скомпилировать код под любую из 33+
поддерживаемых операционных систем . но это будет примерно то же самое что портировать под любой домашний компьютер. имхо, само по себе повышение тактовой частоты платы в данном случае ничего не решает поскольку всё упирается в периферию. отпрос аналогового датчика в коде и работа со светодиодом, как принято говорить, "драматически" роняет общую производительность поскольку ядро большую часть времени проводит в пустых циклах и хорошо если показывает ~300кГц на теперешней OLIMEXINO-STM32, то есть и без смены платы есть куда расти.