I've set up the development environment for an STM32MP157F-DK2 kit including STM32CubeIDE. I'm following instructions to create a new application to run on the A7 under Linux, and CubeIDE cannot find the OpenSTLinux plugin. So I followed the instruct...