How to run a custom kernel on the Rock Pi 4?

Hi,

I recently modified and compiled a custom kernel to be able to support the HiFiBerry DAC+ ADC Pro following this guide.
The problem is that I can’t found a proper guide to run the custom kernel image on my rock pi 4.
Could someone please help me with that?

Thank you!