Working on building a #LinuxLibre kernel for #MNTReform using #Guix ... and so far it boots!
Have not yet managed to build a kernel without the HDMI patches, which require a binary blob, so not in line with the #FSDG for inclusion into guix.
That said, it was not too difficult, using a few patches and .dts from https://source.mnt.re/reform/reform-debian-packages/-/tree/main/linux
Getting closer...