続々々 src/sys/arch/arm/arm32/pmap.c:2408
結論としては src/sys/arch/arm/arm32/pmap.c:2408
の KASSERT は ARMv6 より前のアーキテクチャでは不要ということになりますな。つーことはこんなパッチで直るんじゃないですかね。
Index: sys/arch/arm/arm32/pmap.c =================================================================== RCS file: /cvsroot/src/sys/arch/arm/arm32/pmap.c,v retrieving revision 1.300 diff -u -r1.300 pmap.c --- sys/arch/arm/arm32/pmap.c 21 Sep 2014 15:45:46 -0000 1.300 +++ sys/arch/arm/arm32/pmap.c 23 Sep 2014 05:28:11 -0000 @@ -2405,7 +2405,11 @@ const pt_entry_t opte = *ptep; pt_entry_t npte = opte | execbits; - KASSERT((opte & L2_XS_nG) == (pm == pmap_kernel() ? 0 : L2_XS_nG)); +#if defined(DIAGNOSTIC) && (defined(CPU_ARMV6) || defined(CPU_ARMV7)) + if (CPU_IS_ARMV6_P() || CPU_IS_ARMV7_P()) { + KASSERT((opte & L2_XS_nG) == (pm == pmap_kernel() ? 0 : L2_XS_nG)); + } +#endif NPDEBUG(PDB_BITS, printf( "%s: pv %p, pm %p, va 0x%08lx, flag 0x%x\n",