[PATCH kernel-4.19 215/412] mm/huge_memory.c: don't discard hugepage if other processes are mapping it