Re: [arch-general] DKMS problem with the latest linux-ck kernel