Linux kernel source of MediaTek MT6572 SoC