Looks like some recent refactoring started clobbering default value for SERVER and DEVSERVER in update.conf for dev images. Will post a fix for that soon. As for COREOS_RELEASE_BOARD, that should be provided by /usr/share/coreos/release and shouldn't need to be modified.