Hi,
You can revert to the standard kernel with
sudo apt-get install --reinstall raspberrypi-bootloader raspberrypi-kernel
then rebooting.
according to
https://github.com/Hexxeh/rpi-update
you can revert to a specific kernel revision using a specific hash, for example;
sudo rpi-update b79886968bff850bbebd1f7d72ab5ac26803255e
should be reverting to 4.14.33 according to
https://github.com/Hexxeh/rpi-firmware/commits/master
My last build that crashed now and again was from 28/2 so that would be 4.14.22, assuming it was the kernel and not the dvb drivers.
How are you downloading the header files to compile? I seem to need to use rpi-source each time and it takes forever as it is downloading and unzipping lots of files. That said I was deleting them after I compiled, I've moved them to my external drive now I found the -d option!
Anthony
Anthony