add pin_lock to page_dir_destroy, also has some debug info