New to handling device trees

[pa4wdh]

Hi All,

I have a Raspberry Pi 2B running as an NTP server (with the Ultimate GPS Hat as a clocksource). So far i've always been using precompiled kernels for it, but since i compile kernels for all my systems, i also want to do that for my Pi.
I've installed sys-kernel/raspberrypi-sources, configured and compiled it. I don't use any modules, but the device trees and overlays are new for me.

So far i got my new kernel image, installed as /boot/gentoo.img and set config.txt to include kernel=gentoo.img and it boots fine. Now the pps (pulse per second from the gps receiver) doesn't work, and i guess it's because i still use the devicetree and overlay files from the old kernel. I could of course just install them, but i guess that means overwriting the old/current devicetree files, and i want to be sure i can still boot the old kernel as a fallback.

Is there a way to have two kernels+devicetrees installed next to each other?

Thanks for any help.
_________________
The gentoo way of bringing peace to the world:
USE="-war" emerge --newuse @world

My shared code repository: https://code.pa4wdh.nl.eu.org
Music, Free as in Freedom: https://www.jamendo.com