http://support.criticallink.com/redmine/projects/armc8-platforms/wiki/Linux_Kernel