Hello, I'm currently working with a STM32MP157D-DK1 Development Board with 4GB DDR3L. I populated the board with a prebuild openstlinux 6.1 build like discribed in a guide in the ST wiki.When checking the total memory i unfortunatly only get 407MB th...