Linux kernel with Mediatek support