I don't think that's a reasonable way people will use coreos-vagrant. Let's just hard-code this to 1. People can still make the change in the Vagrantfile manually if its totally necessary.