For a new design I need a very powerful MPU device. I would like to use STM32MP1 without Linux OS. I don't need this OS. Does it make sense to use STM32MP1 for a bare metal application? Compared to STMH747, what is the performance of STM32MP1 process...