arndale board machine nr for dom0.

diff --git a/xen/arch/arm/domain_build.c b/xen/arch/arm/domain_build.c
index 449b9c9270881489b978ebaf74c108cf00282a6f..781d2aaef6e9b5ba4d453d68c919b722bb1207fc 100644 (file)
--- a/xen/arch/arm/domain_build.c
+++ b/xen/arch/arm/domain_build.c
@@ -510,7 +510,7 @@ int construct_dom0(struct domain *d)
  */
 
     regs->r0 = 0; /* SBZ */
-    regs->r1 = 2272; /* Machine NR: Versatile Express */
+    regs->r1 = 0xebe; /* Machine NR: Exynos5250 */
     regs->r2 = kinfo.dtb_paddr;
 
     WRITE_CP32(SCTLR_BASE, SCTLR);