Hello All, I have a situation where I need to build an image for my machine with a different kernel than is specified by PREFERRED_PROVIDER_virtual/kernel. But I also need to build the default kernel.