Re: [RFC PATCH v3 1/6] arch: introduce set_direct_map_valid_noflush()