[CORE] devdrv: Depreicate vmm_devdrv_clock_xxx() APIs

We have linux-like arch dependent clocking interface available so, older vmm_devdrv_clock_xxx() are not useful anymore.

Also, clocking related code is usually arch dependent hence having generic clocking API does not make sense.

Signed-off-by: Anup Patel <anup@brainfault.org>
[TESTS] Enable VirtIO drivers for linux on VExpress-A15 guest

Signed-off-by: Anup Patel <anup@brainfault.org>
[ARM] Add VirtIO devices to VExpress-A15 guest template

Signed-off-by: Anup Patel <anup@brainfault.org>
[TESTS] Inform location of VirtIO devices to linux on VExperss-A15 guest via kernel args

Signed-off-by: Anup Patel <anup@brainfault.org>
Merge remote-tracking branch 'upstream/master' into dev_exynos4

Conflicts:
	arch/arm/board/exynos4/brd_main.c
	core/include/vmm_devdrv.h
	core/vmm_devdrv.c

Signed-off-by: Jean-Christophe DUBOIS <jcd@tribudubois.net>