Yes, kernels are device specific. This means that the kernel will be tailored specifically to the type of device you are using.