[PATCH v4 2/9] board_f: Correct stack reservation