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

Using a default value assignment facilitates changing the virtual/kernel recipe.
Merge pull request #2 from dimasad/danny

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