VExpress-gem5: Change non-server configs to use ION memory manager
2 files changed