[Tock Devel] Support tockloader for STM32L4