No worries!
You may need to lock that one in for now, the newest 88 kernel may have something your machine doesn't quite like..
[HOW TO] set an older kernel to default boot - Follow this guide on how to set the 87 kernel for default boot for now, then we can take a look at some logs to see what might be or might not be happening.