Add stm32f103 board at 72MHz using a HSE at 12Mhz.