Kernel for 8660 devices