STM32cubeIDE Board Selector creates incorrect (?) default RCC initialization settings for STM32H735G-DK Discovery Kit.

[Johi]

@Piranha​ pointed me to a fault in the configuration of the RCC in an example related to LW-IP.

I have the impression that this fault is also created when STM32cubeIDE creates the default settings for the STM32H735G -DK Discovery kit.

The manual RM0468 is clear:

The schematic of the STM32H735G-DK kit:

X2 is a crystal, X1 is an oscillator:

BOM says the same:

But STM32CubeIDE initialized as per the board:

And should be: (IMHO)

My question: Is my analysis correct or did I overlook something?