kernel for ok6410