Add support for Zephyr firmware

[mocleiri]

There was a request for Zephyr support: https://groups.google.com/a/tensorflow.org/g/micro/c/Uun_ZSkv2OQ

Litex VexRiscv SoC Arty FPGA

But I'm also interested to see if this can be a way to get STM32 working.