production usage of 'randomizkernel/user stack base' options