Re: kernel 1532 fails