Dear system programming experts and cross-build enthusiasts, how much luck do we have if one wants to cross-compile libraries or application for UEFI (as a host platform)?
If such cross-compilation is possible, would it also be possible to add a `pkgsCross` entry for it?