On Thu, Mar 7, 2019 at 9:10 AM Arjan van de Ven <arjan(a)linux.intel.com>
On 3/7/2019 9:08 AM, Horn, Mark D wrote:
> So are we asking it be removed as an option?
> Or some check added to only offer this kernel for a specific platform?
we should remove it. the special platform that this kernel is for does not
use our installer.