drivers rebuild

kernel/kernel/files/configs/kernel-x86_64-config

@@ -1,6 +1,6 @@
 #
 # Automatically generated file; DO NOT EDIT.
-# Linux/x86_64 4.7.0 Kernel Configuration
+# Linux/x86_64 4.7.2 Kernel Configuration
 #
 CONFIG_64BIT=y
 CONFIG_X86_64=y
@@ -3802,7 +3802,7 @@ CONFIG_RETU_WATCHDOG=m
 CONFIG_ALIM1535_WDT=m
 CONFIG_ALIM7101_WDT=m
 CONFIG_F71808E_WDT=m
-CONFIG_SP5100_TCO=m
+# CONFIG_SP5100_TCO is not set
 CONFIG_SBC_FITPC2_WATCHDOG=m
 # CONFIG_EUROTECH_WDT is not set
 CONFIG_IB700_WDT=m
@@ -5944,9 +5944,9 @@ CONFIG_GOOGLE_SMI=m
 #
 # EFI (Extensible Firmware Interface) Support
 #
-CONFIG_EFI_VARS=y
+CONFIG_EFI_VARS=m
 CONFIG_EFI_ESRT=y
-CONFIG_EFI_VARS_PSTORE=y
+CONFIG_EFI_VARS_PSTORE=m
 # CONFIG_EFI_VARS_PSTORE_DEFAULT_DISABLE is not set
 CONFIG_EFI_RUNTIME_MAP=y
 # CONFIG_EFI_FAKE_MEMMAP is not set
@@ -6090,7 +6090,7 @@ CONFIG_TMPFS_XATTR=y
 CONFIG_HUGETLBFS=y
 CONFIG_HUGETLB_PAGE=y
 CONFIG_CONFIGFS_FS=y
-CONFIG_EFIVAR_FS=m
+CONFIG_EFIVAR_FS=y
 CONFIG_MISC_FILESYSTEMS=y
 # CONFIG_ORANGEFS_FS is not set
 # CONFIG_ADFS_FS is not set
@@ -6802,7 +6802,7 @@ CONFIG_ARCH_HAS_MMIO_FLUSH=y
 #
 # Unofficial 3rd party kernel additions
 #
-CONFIG_VIAHSS=m
 CONFIG_RTL8723BS=m
 CONFIG_WLAN_SDIO=y
 CONFIG_NDISWRAPPER=m
+CONFIG_VIAHSS=m

kernel/kernel/pspec.xml

@@ -190,7 +190,7 @@
         <Update release="6">
             <Date>2016-08-24</Date>
             <Version>4.7.2</Version>
-            <Comment>version bump.</Comment>
+            <Comment>Version Bump.</Comment>
             <Type package="kernel">security</Type>
             <Requires>
                 <Action package="kernel">systemRestart</Action>