[m4rtink]

They should already provide sources for all the GPL licensed bits to be compliant - build scripts and bootloader keys are usually the biggest problem.