u-boot and vendor GPL non-compliance