What command would you use on a Solaris machine to increase the amount of memory allocated to the kernel to approximately 16Mbytes?