Using the format PREFERRED_PROVIDER_virtual/kernel_<machinename> = "<recipename>" where <machinename>=zybo-zynq7 and <recipename>=linux-digilent solves the issue with multiple bb files providing the virtual/kernel