drivers/char/ppdev.c: put gotten port value