unable to get kernel (from kernel.org) to work