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