DualBoot Kernel Patcher
Based on SurfaceDuoDualBootKernelImagePatcher.
Kernel Patcher is a tool can inject shell codes into Linux kernel header, which can help achieve dual boot.
Can also do some more interesting things like replace dtb provided by abl with ours, select different linux kernel etc.