[PATCH] splice: fix problems with sys_tee()