arm, post: add missing post_time_ms for arm

Signed-off-by: Heiko Schocher <hs@denx.de>
Cc: Albert ARIBAUD <albert.u.boot@aribaud.net>
diff --git a/post/post.c b/post/post.c
index 636d93f..dc9c0f2 100644
--- a/post/post.c
+++ b/post/post.c
@@ -500,7 +500,7 @@
  */
 unsigned long post_time_ms(unsigned long base)
 {
-#ifdef CONFIG_PPC
+#if defined(CONFIG_PPC) || defined(CONFIG_ARM)
 	return (unsigned long)(get_ticks() / (get_tbclk() / CONFIG_SYS_HZ))
 		- base;
 #else