## SECTION=core

config KERNEL
	bool

config KERNEL_VMLINUX
	bool
	help
	  install kernel image to /boot/vmlinux