Document the name parameter for VirtualBox config
Change symbols to strings for provider-specific