[PATCH 0/3] ARM: vexpress_defconfig: Allow to boot using a regular filesystem on SD card