I couldn't find anything about why. It's only the 32bit version it seems. 32bit MenuetOS is GPL but the 64bit is a different license.