Just to note, if this interests you but the idea of figuring out how to build a boot.img to test is too much of a headache, I'm working on an (almost complete) feature for @postmarketos for exactly this purpose, so you can quite easily go from your local kernel artifacts to a device specific boot image with a ramdisk containing all the kernel modules, firmware, udev, and run specific scripts or pop a shell on boot.