tinjpage: Flush stdout in shared page child

Not strictly needed due to line buffering, but more
future proof.

Signed-off-by: Andi Kleen <ak@linux.intel.com>
1 file changed