Fix revision-reporting command for STM32MP15x #1918

Job	Run time
size-diff	45s
build-linux (ubuntu-20.04, focal, clang-15, 12.2.Rel1)	3m 39s
build-mingw (windows-2022, ucrt64)	2m 45s
build-linux (focal, 96b_carbon	35s
build-linux (ubuntu-20.04, focal, gcc-11, 12.2.Rel1)	5m 19s
build-mingw (windows-2022, clang64)	2m 25s
build-linux (focal, bluepill	32s
build-linux (focal, f072	42s
build-linux (focal, f3	43s
build-linux (focal, f4discovery	39s
build-linux (focal, hydrabus	34s
build-linux (focal, launchpad-icdi	40s
build-linux (focal, native	32s
build-linux (focal, stlink	35s
build-linux (focal, stlinkv3	37s
build-linux (focal, swlink	33s
	21m 35s

Provide feedback