修改free_pgtables契约并更新文档 · v4

更新 pte_offset_map_lock 注释与 process_addrs 文档：RCU 延迟释放后只读遍历安全，写者仍需加锁。