Fix kernel selection for CubieBoard2.