[TESTS] Enable VFP and additional drivers for VExpress-A15 guest linux

We have VFP context switching available in both arm32ve and arm64 ports
hence, we can now happily use VFP from VExpress-A15 guest linux.

The patch also enables Ext3, EXt4, AMBAKMI, and MMCI drivers for
VExpress-A15 guest linux.

Signed-off-by: Anup Patel <anup@brainfault.org>