fixup: seb's feedback

Author: Prakash Surya

debian.aws/config/OVERRIDES

@@ -23,7 +23,6 @@ CONFIG_ATM_DRIVERS=n
 CONFIG_AUXDISPLAY=n
 CONFIG_BCMA=n
 CONFIG_CONNECTOR=n
-CONFIG_CRYPTO_HW=n
 CONFIG_DAX=n
 CONFIG_EISA=n
 CONFIG_EXTCON=n
@@ -160,7 +159,6 @@ CONFIG_HIO=n
 CONFIG_HWMON=n
 CONFIG_IAVF=n
 CONFIG_ICE=n
-CONFIG_INFINIBAND=n
 CONFIG_INTEL_IOATDMA=n
 CONFIG_INTEL_MEI=n
 CONFIG_IONIC=n
@@ -193,7 +191,6 @@ CONFIG_NET_VENDOR_MICREL=n
 CONFIG_NET_VENDOR_MYRI=n
 CONFIG_NET_VENDOR_NETERION=n
 CONFIG_NET_VENDOR_ROCKER=n
-CONFIG_NFC=n
 CONFIG_NFP=n
 CONFIG_NOZOMI=n
 CONFIG_QED=n
@@ -228,7 +225,6 @@ CONFIG_SSB=n
 CONFIG_STMMAC_ETH=n
 CONFIG_SXGBE_ETH=n
 CONFIG_SYNCLINK=n
-CONFIG_SYNCLINK=n
 CONFIG_USB=n
 CONFIG_VBOXGUEST=n
 CONFIG_VOP=n