CONFIG_ALPHA_EV67 is not available for the default architecture x86.
Result is shown for architecture alpha

EV67 (or later) CPU (speed > 600MHz)?

configname: CONFIG_ALPHA_EV67

Linux Kernel Configuration
└─> System setup
└─> EV67 (or later) CPU (speed > 600MHz)?

Is this a machine based on the EV67 core? If in doubt, select N here
and the machine will be treated as an EV6.