kernelconfig_penguin
CONFIG_ARC_BOARD_ANGEL4 is not available for the default architecture x86.
Result is shown for architecture arc
default or selected kernelversion does not have config value CONFIG_ARC_BOARD_ANGEL4.
Result is shown for kernelversion 3.9.9

ARC Angel4

configname: CONFIG_ARC_BOARD_ANGEL4

Linux Kernel Configuration
└─> "Legacy" ARC FPGA dev Boards
└─> ARC Angel4

ARC Angel4 FPGA Ref Platform (Xilinx Virtex Based)