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