[PATCH 6.12 176/626] arm64/mm: Check PUD_TYPE_TABLE in pud_bad()