Re: [PATCH v14 04/10] set_memory: allow querying whether set_direct_map_*() is actually enabled