+ linuxguest/ min hw drivers version of vexpress_defconfig

 the linux kernel configuration with a few notes
vexpress linux kernel configuration: vexpress_defconfig, modified to disable as many drivers possible
find vexpress_defconfig_minhw