Re: Which processor type should I choose during kernel compilation?