CONFIG_CPU_32v4T is not available for the selected architecture x86.
Result is shown for architecture arm
CONFIG_CPU_32v4T (not configurable)
configname: CONFIG_CPU_32v4T
Linux Kernel Configuration
└─>CPU_32v4T