Re: CRUX kernel patch ?