Linux kernel for ok6410 ARM development board