Re: [Dev] Kernel build issue: hikey-mali branch fails to build...