* kernel/console/rdb.c: mv