microLinux 3.17 kernel