new kernel config vexpress
Merge branch 'master' of https://github.com/SystemSoftwareWS13-14/ARMLinux