added machine settings for debian vm on ernesto