Linux kernel for i.MX processors