[Linaro-mm-sig] Re: [PATCH v6 04/12] arm64/mm: Export set_direct_map_*_noflush() APIs