Changed files:
kernel-alpha-BOOT.config -> 1.6
kernel-alpha-smp.config -> 1.13
kernel-alpha.config -> 1.13
# CONFIG_COMX is not set
# CONFIG_HDLC is not set
# CONFIG_DLCI is not set
-CONFIG_SBNI=m
+# CONFIG_SBNI is not set
#
# Amateur Radio support
CONFIG_WANPIPE_FR=y
CONFIG_WANPIPE_PPP=y
CONFIG_WANPIPE_CHDLC=y
-CONFIG_SBNI=m
+# CONFIG_SBNI is not set
CONFIG_ATM_TCP=m
CONFIG_ATM_ENI=m
# CONFIG_ATM_ENI_DEBUG is not set
CONFIG_WANPIPE_FR=y
CONFIG_WANPIPE_PPP=y
CONFIG_WANPIPE_CHDLC=y
-CONFIG_SBNI=m
+# CONFIG_SBNI is not set
CONFIG_ATM_TCP=m
CONFIG_ATM_ENI=m
# CONFIG_ATM_ENI_DEBUG is not set