[PATCH v2 2/2] xilinx: use get_mem_top() to compute ram_top