> Ah didn't see that, in that case, its pvepl

pmap_bootstrap_pv_page_free (/sys/arch/arm/arm32/pmap.c)
seems to free pages using pool_page_free if pmap_initialized is true,
even when they're originally grabbed from free_bootstrap_pages.
it seems like a bug to me.
(although i'm not sure how pvepl is used.  i'm not really sure if
i'm looking at a right file. :-)

YAMAMOTO Takashi