Sam uses the command line below to get information on the current kernel configuration. Give that a try when you get a chance.

/usr/sam/lbin/getkinfo  -f  /stand/vmunix -o /tmp/kernel.data

NOTE: I've never had any luck getting this to work; however, I haven't had a lot of time to devote to it either. If someone has a better way of getting all the kernel parameters, please email me.