config ADK_KERNEL_XTENSA_VARIANT_DC233C
	boolean

config ADK_KERNEL_XTENSA_VARIANT_DC232B
	boolean

config ADK_KERNEL_INITIALIZE_XTENSA_MMU_INSIDE_VMLINUX
	boolean