Also update the annotations file.
Signed-off-by: Seth Forshee <seth.forshee@canonical.com>
CONFIG_KARMA_PARTITION=y
CONFIG_KERNEL_GZIP=y
# CONFIG_KERNEL_XZ is not set
-CONFIG_KEXEC=y
CONFIG_KVM=m
CONFIG_LAPB=m
CONFIG_LDM_PARTITION=y
# Menu: Boot options
CONFIG_CMDLINE policy<{'arm64': '"console=ttyAMA0"', 'armhf': '""'}>
-CONFIG_KEXEC policy<{'amd64': 'y', 'armhf': 'y', 'i386': 'y', 'powerpc-generic': 'y', 'powerpc-powerpc-e500mc': 'y', 'powerpc-powerpc-smp': 'y', 'ppc64el': 'y', 's390x': 'y'}>
+CONFIG_KEXEC policy<{'amd64': 'y', 'arm64': 'y', 'armhf': 'y', 'i386': 'y', 'powerpc-powerpc64-emb': 'y', 'powerpc-generic': 'y', 'powerpc-powerpc-e500mc': 'y', 'powerpc-powerpc-smp': 'y', 'ppc64el': 'y', 's390x': 'y'}>
CONFIG_CRASH_DUMP policy<{'amd64': 'y', 'armhf': 'y', 'i386': 'y', 'powerpc-powerpc64-emb': 'y', 'powerpc-generic': 'y', 'powerpc-powerpc-e500mc': 'n', 'powerpc-powerpc-smp': 'n', 'ppc64el': 'y', 's390x': 'y'}>
#
CONFIG_CRASH_DUMP mark<ENFORCED> note<LP:1363180>
CONFIG_JUMP_LABEL=y
# CONFIG_KALLSYMS_ABSOLUTE_PERCPU is not set
CONFIG_KARMA_PARTITION=y
-# CONFIG_KEXEC is not set
CONFIG_KVM=y
CONFIG_LAPB=m
CONFIG_LDM_PARTITION=y
CONFIG_KARMA_PARTITION=y
CONFIG_KERNEL_GZIP=y
# CONFIG_KERNEL_XZ is not set
-CONFIG_KEXEC=y
CONFIG_KVM=y
CONFIG_LAPB=m
CONFIG_LDM_PARTITION=y
# CONFIG_KERNEL_LZO is not set
CONFIG_KERNEL_MODE_NEON=y
CONFIG_KERNFS=y
+CONFIG_KEXEC=y
CONFIG_KEXEC_BZIMAGE_VERIFY_SIG=y
CONFIG_KEXEC_CORE=y
CONFIG_KEXEC_FILE=y
CONFIG_KARMA_PARTITION=y
CONFIG_KERNEL_GZIP=y
# CONFIG_KERNEL_XZ is not set
-CONFIG_KEXEC=y
CONFIG_KVM=m
CONFIG_LAPB=m
CONFIG_LDM_PARTITION=y
CONFIG_IMA=y
# CONFIG_IWLWIFI_PCIE_RTPM is not set
CONFIG_KERNEL_START=0xc000000000000000
-CONFIG_KEXEC=y
CONFIG_MAGIC_SYSRQ_DEFAULT_ENABLE=0x01b6
# CONFIG_MEDIA_CONTROLLER_DVB is not set
CONFIG_MEMORY_HOTPLUG=y
CONFIG_IMA=y
CONFIG_IWLWIFI_PCIE_RTPM=y
CONFIG_KERNEL_START=0xc0000000
-CONFIG_KEXEC=y
CONFIG_MAGIC_SYSRQ_DEFAULT_ENABLE=0x1
CONFIG_MEDIA_CONTROLLER_DVB=y
# CONFIG_MMIO_NVRAM is not set
CONFIG_IMA=y
# CONFIG_IWLWIFI_PCIE_RTPM is not set
CONFIG_KERNEL_START=0xc0000000
-CONFIG_KEXEC=y
CONFIG_MAGIC_SYSRQ_DEFAULT_ENABLE=0x01b6
# CONFIG_MEDIA_CONTROLLER_DVB is not set
# CONFIG_MMIO_NVRAM is not set
# CONFIG_IMA is not set
CONFIG_IWLWIFI_PCIE_RTPM=y
CONFIG_KERNEL_START=0xc000000000000000
-# CONFIG_KEXEC is not set
CONFIG_MAGIC_SYSRQ_DEFAULT_ENABLE=0x1
CONFIG_MEDIA_CONTROLLER_DVB=y
# CONFIG_MEMORY_HOTPLUG is not set
CONFIG_KERNEL_GZIP=y
CONFIG_KERNEL_START=0xc000000000000000
# CONFIG_KERNEL_XZ is not set
-CONFIG_KEXEC=y
CONFIG_KVM=y
CONFIG_LAPB=m
CONFIG_LDM_PARTITION=y
# CONFIG_KARMA_PARTITION is not set
# CONFIG_KERNEL_GZIP is not set
CONFIG_KERNEL_XZ=y
-CONFIG_KEXEC=y
CONFIG_KVM=y
# CONFIG_LAPB is not set
# CONFIG_LDM_PARTITION is not set