Re: [PATCH] arm64/mm: Drop redundant BUG_ON(!pgtable_alloc)