I can never remember whether the static page table list contains the table's physical or kernel virtual address.. Add the fact as a comment there. Also add the limitations that come from this static page table approach for Sv32.