Correctly configure STM32 devices from cmake options #1961

Job	Run time
run-tests (ubuntu-20.04, -s prime_smp, 21)	1m 53s
run-tests (ubuntu-20.04, -s prime_smp, 22)	2m 0s
run-tests (ubuntu-20.04, -s prime_smp, 23)	1m 56s
run-tests (ubuntu-22.04, -s prime_smp, 24)	3m 39s
run-tests (ubuntu-22.04, -s prime_smp, 25)	3m 54s
run-tests (ubuntu-22.04, -s prime_smp, 26, erlang:26)	5m 14s
run-tests (macos-latest, 23, /usr/local/opt/erlang@23/bin:, -DOPENSSL_ROOT_DIR=/usr/local/opt/ope...	2m 45s
run-tests (macos-latest, 24, /usr/local/opt/erlang@24/bin:, -DOPENSSL_ROOT_DIR=/usr/local/opt/ope...	3m 42s
run-tests (macos-latest, 25, /usr/local/opt/erlang@25/bin:, -DOPENSSL_ROOT_DIR=/usr/local/opt/ope...	3m 43s
	28m 46s

Provide feedback