Using the WFI command on STM32U599 - I've noticed that this doesn't work because there is a pending IRQ (UART4). We're not using UART4 at all - clearing this pending IRQ before executing WFI does work, though. Is there any reason why this IRQ is pending even though we're never enabling it or even using any UARTs? Should this pending interrupt stop WFI from entering standby?