Re: Making countless kernel reboots painless on TC2