config ADK_KERNEL_MATOM
	boolean

config ADK_KERNEL_MPENTIUMM
	boolean