#
# Automatically generated file; DO NOT EDIT.
-# Linux/x86 3.12.27 Kernel Configuration
+# Linux/x86 3.12.33 Kernel Configuration
#
CONFIG_64BIT=y
CONFIG_X86_64=y
CONFIG_CRASH_DUMP=y
CONFIG_KEXEC_JUMP=y
CONFIG_PHYSICAL_START=0x1000000
-# CONFIG_RELOCATABLE is not set
+CONFIG_RELOCATABLE=y
CONFIG_PHYSICAL_ALIGN=0x1000000
CONFIG_HOTPLUG_CPU=y
# CONFIG_BOOTPARAM_HOTPLUG_CPU0 is not set
CONFIG_VIDEO_SAA7146_VV=m
CONFIG_SMS_SIANO_MDTV=m
CONFIG_SMS_SIANO_RC=y
+CONFIG_SMS_SIANO_DEBUGFS=y
#
# Media ancillary drivers (tuners, sensors, i2c, frontends)