Split intel and non-intel kernels