The KORG Kronos software contains yet another GPL violation in the proprietary kernel module loadmod.ko that is delivered with the recovery images on the support page.
The module is statically linked with the gmplib that is distributed under GPL/LGPL dual licensing. KORG does not provide the source code for loadmod.ko as required by the GPL.
In newer firmware versions, gmplib is no longer included in loadmod.ko, but in a different module called STGGmp.ko. So it looks like KORG is aware of the licensing problem but does not fix their old binaries.
Update: The statically linking version of loadmod.ko was not present in firmware version 3.0.2. It was then again distributed with firmware version 3.0.3. On 2015-12-25 firmware version 3.0.3 was replaced with a firmware that is internally branded as 3.0.3B - the only change between 3.0.3 and 3.0.3B was to replace the statically linking loadmod.ko with the dynamically linking version.