Re: [PATCH 3/9] board_f: Fix types for board_get_usable_ram_top()