Increase kernel memory to 32M by default

At least on 64bit otherwise Genode/Noux has no chance to finish.