1. remove modelchecking
	modified:   distro-feed-configs.bb