Fix build issues on STM32H7 with ARM GNU toolchain #198

Job	Run time
build (ubuntu-latest, internal)	30s
build (ubuntu-latest, openssl)	51s
build (ubuntu-latest, wolfssl)	1m 59s
build (ubuntu-latest, nss)	50s
build (ubuntu-latest, mbedtls)	51s
build (macos-12, internal)	39s
build (macos-12, openssl)	1m 9s
build (macos-12, openssl3)	1m 3s
build (macos-12, wolfssl)	3m 45s
build (macos-12, nss)	1m 6s
build (macos-12, mbedtls)	1m 2s
build (windows-latest, internal)	3m 40s
	17m 25s

Provide feedback