Examination of CM4 core on STM32H747XIH fails about openocd HOT 1 CLOSED

Okay, the issue was simply that the CM4 core was gated via the corresponding option bit on the board I'm using. Maybe it could be helpful to modify the script for the STM32H7X target to check for this. If, for instance, the CM7 is gated, setting option flags isn't possible any more via the stm32h7x option_write command. I've managed to set both cores to boot with a gated CM7 like this:

# Unlock option registers via OPTKEYR (see sec. 4.9.3 of the reference manual)
stm32h7x.cpu1 mww 0x52002008 0x08192A3B
stm32h7x.cpu1 mww 0x52002008 0x4C5D6E7F
# Set BOOT_CM4 and BOOT_CM7 (note that this will overwrite all option flags)
stm32h7x.cpu1 mww 0x52002020 0x0BC6AAF0
# Set OPTSTART
stm32h7x.cpu1 mww 0x52002018 0x2
# Check result
stm32h7x.cpu1 mdw 0x5200201C

from openocd.