Re: kernel problem in todays rawhide update