[PATCH v4 09/12] mm: dump_page(): better diagnostics for huge pinned pages