mpc83x3e-rdb machines: Use ?= for virtual/kernel so it can be user-configured.

diff --git a/conf/machine/mpc8313e-rdb.conf b/conf/machine/mpc8313e-rdb.conf
index a43f621406391f0392793e4d0d176b75f6c1031f..31f13b00b6fedd2166ed5bbb427fb9deac76ad0d 100644 (file)
--- a/conf/machine/mpc8313e-rdb.conf
+++ b/conf/machine/mpc8313e-rdb.conf
@@ -5,8 +5,8 @@
 TARGET_ARCH = "powerpc"
 PACKAGE_EXTRA_ARCHS = "all ${MACHINE} ppc ppce300c3"
 
-PREFERRED_PROVIDER_virtual/kernel = "linux"
-PREFERRED_VERSION_u-boot = "git"
+PREFERRED_PROVIDER_virtual/kernel ?= "linux"
+PREFERRED_VERSION_u-boot ?= "git"
 
 MACHINE_FEATURES = "kernel26 usbhost ext2"
 

diff --git a/conf/machine/mpc8323e-rdb.conf b/conf/machine/mpc8323e-rdb.conf
index 38f3b1930c55a1da8a8bb58165d0150a16b17a2d..db1a7ccf1601c8bec20513f2a755ba090d717890 100644 (file)
--- a/conf/machine/mpc8323e-rdb.conf
+++ b/conf/machine/mpc8323e-rdb.conf
@@ -6,7 +6,7 @@ TARGET_ARCH = "powerpc"
 TARGET_FPU ?= "soft"
 PACKAGE_EXTRA_ARCHS = "all ${MACHINE} ppc ppce300c2"
 
-PREFERRED_PROVIDER_virtual/kernel = "linux"
+PREFERRED_PROVIDER_virtual/kernel ?= "linux"
 
 MACHINE_FEATURES = "kernel26 usbhost pci ext2 uboot"