Wrong name for CubieBoard2 default kernel configuration.