conf/machine/*.conf: used ?= in preferred kernel provider assignment.

Using a default value assignment facilitates changing the virtual/kernel recipe.