#
# Automatically generated file; DO NOT EDIT.
-# Linux/x86_64 4.9.253-gnu Kernel Configuration
+# Linux/x86_64 4.9.263-gnu Kernel Configuration
#
CONFIG_64BIT=y
CONFIG_X86_64=y
#
# Platform Support
#
-CONFIG_USB_BDC_PCI=m
CONFIG_USB_AMD5536UDC=m
CONFIG_USB_NET2272=m
CONFIG_USB_NET2272_DMA=y