add Mini6410 kernel