Re: [arch-general] core/linux provides kernel*26*, not kernel4