That addresses a somewhat different field and is still based on
a (stripped-down) UEFI implementation.
It takes care of creating a proper boot environment (e.g. updating
boot scripts, wrapping the kernel and the initrd into uImages on
platforms where that is required, writing the kernel to NOR flash
on platforms where that is necessary, etc.) on kernel installation
and upgrades.
> DONE: it contains a odroid-xu4 entry, that would work on the hc1 too.
Vagrant mentioned that there seem to be differences between the XU4
and the HC1 and that a separate HC1 device-tree has been submitted
for kernel 4.15. If that new devicetree gets used, a corresponding
entry in the flash kernel machine database will become necessary.
The debian-installer team maintains this.
For the source code and build system, please refer to
https://wiki.debian.org/DebianInstaller/CheckOut