Add config-3.9.0-15-vexpress
Upgrade to Linux 3.9.3
Update make-kpkg-armhf.txt
Disable KSM
Add /etc/network/interfaces