Re: should I reboot after mesa upgrade?