kernel 1532 fails