Genie:  Remove obsolete memory_mapping.hh