kconfig: echo stdin to stdout if either is redirected