+ linuxguest/ min hw drivers version of vexpress_defconfig, the linux kernel configuration with a few notes
Merge pull request #40 from simonkim/v1-linuxconf

+ linuxguest/ min hw drivers version of vexpress_defconfig