CONFIG_SH_EDOSK7705 is not available for thedefaultarchitecture x86.
Result is shown for architecture sh

EDOSK7705

modulename: board-edosk7705.ko

configname: CONFIG_SH_EDOSK7705

Linux Kernel Configuration
└─>Board support
└─>EDOSK7705
In linux kernel since version 2.6.12  
source code:
arch/sh/boards/board-edosk7705.c