Add a virtualMemoryManagement_ flag to device.info. Change-Id: Iabd039010d83fc51b4bcef600c609f5c65e7b1ae