import from chromium / chromiumos/third_party/kernel-next / chromeos-3.8 / . / drivers / gpu / arm / t6xx / kbase / src / platform / chromebook
Update Chromebook Platform Sources for latest Mali Driver from
http://malideveloper.arm.com/develop-for-mali/features/graphics-and-compute-development-on-samsung-chromebook/