[PATCH v16 04/11] set_memory: allow set_direct_map_*_noflush() for multiple pages