Patch from Robert P Day: let menuconfig indent stuff for us, we don't have