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

Using a default value assignment (?=) makes it easier to change the virtual/kernel recipe. This is useful when trying out the CONFIG_PREEMPT_RT patch, for example.