続 src/sys/arch/arm/arm32/pmap.c:2408

ということで調べてみることに。問題の src/sys/arch/arm/arm32/pmap.c:2408 はこんな感じ。

KASSERT((opte & L2_XS_nG) == (pm == pmap_kernel() ? 0 : L2_XS_nG));

んー、arm は StrongARM と XScale しか知らないのでアレなんですが L2 descriptor に nG bit なんて armv4 や armv5te には無かったと思うんですが…。