nios serial console & kernel parameters?

Hi, Could someone point me in the right direction for modifying kernel paramerter to redirect console=ttyS? I dont see where to do this in configure.bat. Do I have to change to a different bo...