El codigo fuente de u-boot y el kernel de celestial estan disponibles desde el sitio web de merihvideo, creadores de chipbox:
Por las dudas, hice un mirror acá
Este codigo corresponde a los binarios que tiene el newtronic, si hay alguna diferencia no la encontré todavia, asi que los requerimientos de la licencia GPL parecen estar cumplidos (tanto u-boot como linux son GPL). Y si no lo fueran, no hay con quien quejarse, porque newtronic ya no existe.
El codigo del kernel de chipbox tambien incluye tres uImage diferentes compiladas - lo unico que probé es que bootean por tftp.