CONFIG_M5235EVB is not available for thedefaultarchitecture x86.
Result is shown for architecture m68k

Freescale M5235EVB support

configname: CONFIG_M5235EVB

Linux Kernel Configuration
└─>Freescale M5235EVB support
In linux kernel since version 2.6.14 (release Date: 2005-10-27)  
Support for the Freescale M5235EVB board.

depends
CONFIG_M523x