preferred kernel provider used to be linux-kirkwood, but
that has not been updated for almost a year and seems dead
Signed-off-by: Frans Meulenbroeks <fransmeulenbroeks@gmail.com>
Signed-off-by: Tom Rini <tom_rini@mentor.com>
USE_DEVFS = "0"
PREFERRED_PROVIDER_virtual/bootloader = ""
-PREFERRED_PROVIDER_virtual/kernel = "linux-kirkwood"
+PREFERRED_PROVIDER_virtual/kernel = "linux"
-MACHINE_KERNEL_PR = "r18"
+MACHINE_KERNEL_PR = "r19"
IMAGE_FSTYPES += "tar.gz ubi"
SERIAL_CONSOLE = "ttyS0 115200"