kernel for ITEAD-OS