aristainetos: Use imx_ddr_size() for calculating the DDR size