CONFIG_MIPS_SEAD3 is not available for thedefaultarchitecture x86.
Result is shown for architecture mips

MIPS SEAD3 board

configname: CONFIG_MIPS_SEAD3

System type
└─>MIPS SEAD3 board
In linux kernel since version 3.1 (release Date: 2011-10-24)  
This enables support for the MIPS Technologies SEAD3 evaluation
board.


is selected by
CONFIG_CEVT_GIC