arm64: Invalidate the TLB when replacing pmd entries during boot