We can tell BitBake which recipe to use by using the PREFERRED_PROVIDER variable. To set a preferred provider for the virtual/kernel virtual package on our wandboard machine, we would add the following to its machine configuration file:
PREFERRED_PROVIDER_ virtual/kernel = "linux-fslc"