usr/replay: replace ppoll() with reads for linux
usr/replay: replace ppoll() with reads for linux

--HG--
extra : rebase_source : 30b1ab28d4990c3cd9e4f3309e33179b233c05da

utsav2601/cmpe295A,kishoredbn/barrelfish,kishoredbn/barrelfish,kishoredbn/barrelfish,utsav2601/cmpe295A,mslovy/barrelfish,utsav2601/cmpe295A,BarrelfishOS/barrelfish,linusyang/barrelfish,linusyang/barrelfish,mslovy/barrelfish,BarrelfishOS/barrelfish,kishoredbn/barrelfish,mslovy/barrelfish,8l/barrelfish,utsav2601/cmpe295A,linusyang/barrelfish,BarrelfishOS/barrelfish,BarrelfishOS/barrelfish,mslovy/barrelfish,kishoredbn/barrelfish,BarrelfishOS/barrelfish,BarrelfishOS/barrelfish,mslovy/barrelfish,8l/barrelfish,mslovy/barrelfish,linusyang/barrelfish,BarrelfishOS/barrelfish,8l/barrelfish,linusyang/barrelfish,kishoredbn/barrelfish,BarrelfishOS/barrelfish,utsav2601/cmpe295A,8l/barrelfish,8l/barrelfish,8l/barrelfish,BarrelfishOS/barrelfish,utsav2601/cmpe295A