Re: [PATCH] xilinx: Handle board_get_usable_ram_top(0) properly