CONFIG_ARCH_SOCFPGA is not available for thedefaultarchitecture x86.
Result is shown for architecture arm
Altera SOCFPGA family
modulename: reset-socfpga.ko
configname: CONFIG_ARCH_SOCFPGA
Linux Kernel Configuration
└─>Altera SOCFPGA family