[ARM] Exynos4: Add Odroid support

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

Signed-off-by: Anup Patel <anup@brainfault.org>
[DOCS] Add OdroidX documentation.

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

Signed-off-by: Anup Patel <anup@brainfault.org>
[ARM] Corrected the amount of memory for the odroidx board

Signed-off-by: Anup Patel <anup@brainfault.org>
[CORE] stdio: add support for %lu to vmm_printf and friends

Signed-off-by: Anup Patel <anup@brainfault.org>
[CORE] rework vmm_manager.c

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