collie.conf: change PREFERED_PROVIDER for kernel

diff --git a/conf/machine/collie.conf b/conf/machine/collie.conf
index b26df9d..6d09406 100644 (file)
--- a/conf/machine/collie.conf
+++ b/conf/machine/collie.conf
@@ -13,7 +13,7 @@ SERIAL_CONSOLE = "115200 ttySA0"
 ROOT_FLASH_SIZE = "14"
 # actually 14680064, see EXTRA_IMAGECMD
 
-PREFERRED_PROVIDER_virtual/kernel = "linux-rp"
+PREFERRED_PROVIDER_virtual/kernel = "linux"
 PREFERRED_PROVIDER_virtual/xserver = "xserver-kdrive"
 
 XSERVER ?= "xserver-kdrive-fbdev"