Kernel for i777 (4.2)