[stm32f3discovery] updating to newest libopencm3.