The kernel for OK6410.