The Korg Kronos (and I suppose the Nautilus as well) are just regular x86 PCs (I believe using Atom CPUs) running a custom Linux kernel and custom software
As far as I can tell, there's no custom "firmware" to speak of, it's a patched Linux kernel running a kernelmode audio synthesis engine and a usermode app for the UI