On Mon, May 13, 2013 at 5:30 PM, Robert P. J. Day <rpjday at crashcourse.ca> wrote: > i'm confused ... why would you be building two versions of the > kernel? Maybe I just need to provide a PREFERRED_PROVIDER_virtual/kernel?