PREFERRED_PROVIDER_virtual/kernel ?= "linux-bb.org"