Tiny, Linux-powered STM32MP1 SiP ships with two dev kit options