Are there any build scripts available for these boards? Like the ones from Firefly, Armbian or BayLibre? I see in the Libre Computer Project Github the available resources, such as the kernel, overlay, uboot, etc... But no specific script or mechanism to bring it all together. Is there a Github available that has these tools? I'm most interested in building .IMG's for the Tritium and Le Potato. Such as the IMG's you make available.