Re: Buggy kernel update?