In that case... I would say, let's lock your kernel in... and wait for the next updates to see if the problem returns.