[CORE] vmm_printf: add support for %lu

Signed-off-by: Jean-Christophe DUBOIS <jcd@tribudubois.net>
[ARM] Exynos4: use %lu to print (unsigned long) parameters.

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