I had a short discussion on the OSDev Discord with the resulting idea of Boottime linking done by a bootloader. After thinking about it for a while, I came to the conclusion that the idea might actually be useful as it would reduce the complexity of the boot process and increase modularity of a kernel (for example the boot driver can be different for each install, acpi and DT-Driver dont need to be statically linked and a kernel can use a plattform optimized hal).