Add some bare-metal to CI

[ckormanyos]

... And start with hashing on a low-level ARM(R) micro such as a Cortex(R) CM4.

[ckormanyos]

Use QEMU on something like STM32F429, as done in other projects.