pick the PL kernel for bootCD