CONFIG_ARCH_SOCFPGA is not available for thedefaultarchitecture x86.
Result is shown for architecture arm
Altera SOCFPGA family
configname: CONFIG_ARCH_SOCFPGA
Linux Kernel Configuration
└─>Altera SOCFPGA family
In linux kernel since version 3.1 (release Date: 2011-10-24)
selects
CONFIG_ARCH_WANT_OPTIONAL_GPIOLIBCONFIG_ARM_AMBA
CONFIG_ARM_GIC
CONFIG_CACHE_L2X0
CONFIG_CLKDEV_LOOKUP
CONFIG_COMMON_CLK
CONFIG_CPU_V7
CONFIG_DW_APB_TIMER_OF
CONFIG_GENERIC_CLOCKEVENTS
CONFIG_GPIO_PL061
CONFIG_HAVE_ARM_SCU
CONFIG_HAVE_SMP
CONFIG_MFD_SYSCON
CONFIG_SPARSE_IRQ
CONFIG_USE_OF