[PATCH v17 05/10] set_memory: allow querying whether set_direct_map_*() is actually enabled