Increase the default guest RAM size and add command-line tunable