Hi Madhu,
The Mali kernel source that you can download from MaliDeveloper does not come configured for any hardware apart from the Versatile Express reference platform. It is up to the individual wishing to use the driver to do the necessary work to integrate Mali with the platform, including providing the platform configuration files.
Could I recommend reading through Guillaumes posts in Re: OpenCL support for Mali-T628 MP6 on Arndale Octa? which gives the steps required to build the kernel for the Arndale Octa boad.
I should probably also say, the job of correctly integrating the hardware drivers into a mainline kernel is non-trivial. I'd strongly suggest making use of the Linaro kernel available for the platform at Linaro Git Hosting - gwg/linaro-lsk.git/shortlog which has the r4p0 release of Mali integrated and can be used with the Linaro binary release found at Linaro Releases. You may also be able to take inspiration from the platform configuration files from the Linaro release to configure your own mainline build.
The Mali r4p1 release recently went live on MaliDeveloper and can, with a little work, be integrated with the kernel to replace the included r4p1 in the Linaro build should you wish, though in due course I believe Linaro will be doing this work themselves.
Hope this helps,
Rich