4GB is far too small for a microbosh, let's default to 40GB