Re: [PATCH] boards: Remove empty BOARD_SPECIFIC_OPTIONS