5167b81f67
`is_physical_memory()' now for the decision whether to dump some region of memory or not. Suggested by: davidg