terminal.c: Added event_dispatch on the default waitset  in terminal_want_stdin() to allow serial_bind to  complete.
terminal.c: Added event_dispatch on the default waitset
 in terminal_want_stdin() to allow serial_bind to
 complete.

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