[PATCH 1/1] doc: description of board_get_usable_ram_top()