[kernel] r22481 - in dists/sid/linux/debian: . config/kernelarch-x86

[Ben Hutchings]

Author: benh
Date: Mon Apr  6 19:02:38 2015
New Revision: 22481

Log:
[x86] Disable X86_VERBOSE_BOOTUP (Closes: #781953)

Modified:
   dists/sid/linux/debian/changelog
   dists/sid/linux/debian/config/kernelarch-x86/config

Modified: dists/sid/linux/debian/changelog
==============================================================================
--- dists/sid/linux/debian/changelog	Mon Apr  6 18:54:11 2015	(r22480)
+++ dists/sid/linux/debian/changelog	Mon Apr  6 19:02:38 2015	(r22481)
@@ -195,6 +195,7 @@
   * [x86] drm/i915: Add limited color range readout for HDMI/DP ports on
     g4x/vlv/chv (Closes: #775217)
   * HID: thingm: fix workqueue race on remove (Closes: #780055)
+  * [x86] Disable X86_VERBOSE_BOOTUP (Closes: #781953)
 
  -- Ian Campbell <ijc at debian.org>  Wed, 18 Mar 2015 21:07:15 +0000
 

Modified: dists/sid/linux/debian/config/kernelarch-x86/config
==============================================================================
--- dists/sid/linux/debian/config/kernelarch-x86/config	Mon Apr  6 18:54:11 2015	(r22480)
+++ dists/sid/linux/debian/config/kernelarch-x86/config	Mon Apr  6 19:02:38 2015	(r22481)
@@ -76,7 +76,7 @@
 ## file: arch/x86/Kconfig.debug
 ##
 CONFIG_STRICT_DEVMEM=y
-CONFIG_X86_VERBOSE_BOOTUP=y
+# CONFIG_X86_VERBOSE_BOOTUP is not set
 CONFIG_EARLY_PRINTK=y
 # CONFIG_EARLY_PRINTK_DBGP is not set
 CONFIG_EARLY_PRINTK_EFI=y