[Crash-utility] [RFC PATCH 04/15] Fix verify_module() and next_module_vaddr()