続 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 には無かったと思うんですが…。