fix an arch/alpha/Kconfig typo