conf/machine: Make preferred virtual/kernel overridable

A user of the BSP layer may decide to use the machine
configuration but a different kernel.

Signed-off-by: Daniel Díaz <daniel.diaz@linaro.org>
Signed-off-by: Jon Mason <jon.mason@arm.com>