[PATCH v3 10/18] arm64: mm: Update kernel pte entries if pbha bit0 enabled