config KERNEL_RELAY
                bool
 
+       config KERNEL_KEXEC
+               bool "Enable kexec support"
+
        #
        # CGROUP support symbols
        #
 
 # CONFIG_AT76C50X_USB is not set
 # CONFIG_AT803X_PHY is not set
 # CONFIG_ATA is not set
+CONFIG_ATAGS_PROC=y
 # CONFIG_ATALK is not set
 # CONFIG_ATARI_PARTITION is not set
 # CONFIG_ATA_ACPI is not set
 
 # CONFIG_ASYNC_TX_DMA is not set
 # CONFIG_AT76C50X_USB is not set
 # CONFIG_ATA is not set
+CONFIG_ATAGS_PROC=y
 # CONFIG_ATALK is not set
 # CONFIG_ATARI_PARTITION is not set
 # CONFIG_ATA_ACPI is not set
 
 # CONFIG_ASYNC_TX_DMA is not set
 # CONFIG_AT76C50X_USB is not set
 # CONFIG_ATA is not set
+CONFIG_ATAGS_PROC=y
 # CONFIG_ATALK is not set
 # CONFIG_ATARI_PARTITION is not set
 # CONFIG_ATA_ACPI is not set
 
 # CONFIG_AT76C50X_USB is not set
 # CONFIG_AT803X_PHY is not set
 # CONFIG_ATA is not set
+CONFIG_ATAGS_PROC=y
 # CONFIG_ATALK is not set
 # CONFIG_ATARI_PARTITION is not set
 # CONFIG_ATA_ACPI is not set
 
 # CONFIG_AT76C50X_USB is not set
 # CONFIG_AT803X_PHY is not set
 # CONFIG_ATA is not set
+CONFIG_ATAGS_PROC=y
 # CONFIG_ATALK is not set
 # CONFIG_ATARI_PARTITION is not set
 # CONFIG_ATA_ACPI is not set
 
 # CONFIG_AT76C50X_USB is not set
 # CONFIG_AT803X_PHY is not set
 # CONFIG_ATA is not set
+CONFIG_ATAGS_PROC=y
 # CONFIG_ATALK is not set
 # CONFIG_ATARI_PARTITION is not set
 # CONFIG_ATA_ACPI is not set