Re: [U-Boot] Licensing Question on ARM Semihosting Code