Re: port-evbarm/48669 fix to boot evbarm/imx23_olinuxino

[Petri Laakso <petri.laakso%asd.fi@localhost>]

Hi

evbarm/imx23_olinuxino boots again without panic if following patch
is applied.

>Fix:

+++ sys/arch/evbarm/imx23_olinuxino/imx23_olinuxino_machdep.c	28 Oct 2014 18:35:26 -0000
@@ -179,7 +179,7 @@
             ((vsize_t)&KERNEL_BASE_phys));
 
         arm32_kernel_vm_init(KERNEL_VM_BASE, ARM_VECTORS_HIGH, 0, devmap,
-	    true);
+	    false);
 
         return initarm_common(KERNEL_VM_BASE, KERNEL_VM_SIZE, NULL, 0);
 }