Changed files:
kernel-alpha-BOOT.config -> 1.5
kernel-alpha-smp.config -> 1.11
kernel-alpha.config -> 1.11
CONFIG_NI65=m
CONFIG_RTL8139=m
CONFIG_NET_ISA=y
-CONFIG_AT1700=m
+# CONFIG_AT1700 is not set
CONFIG_E2100=m
CONFIG_DEPCA=m
CONFIG_EWRK3=m
CONFIG_NI65=m
CONFIG_RTL8139=m
CONFIG_NET_ISA=y
-CONFIG_AT1700=m
+# CONFIG_AT1700 is not set
CONFIG_E2100=m
CONFIG_DEPCA=m
CONFIG_EWRK3=m
CONFIG_NI65=m
CONFIG_RTL8139=m
CONFIG_NET_ISA=y
-CONFIG_AT1700=m
+# CONFIG_AT1700 is not set
CONFIG_E2100=m
CONFIG_DEPCA=m
CONFIG_EWRK3=m