doc: description of board_get_usable_ram_top()