[PATCH v5 04/24] mm: Cleanup __put_devmap_managed_page() vs ->page_free()