UEFI setup uses hardcoded DTB files path #1
Description
We currently install dtb files into a hardcoded path under /boot where EDK2 seems to be finding them. When multiple kernels are installed, the last one overwrites the dtbs of the previous ones, which could lead to odd behaviors (although it will often boot fine because DTBs don't differ that much).
A good solution would be to keep DTBs of each kernel separate and let UEFI know which one to use with which kernel. I don't yet know how to do that from install scripts, and what's the canonical NixOS way to do it.