Update kernel/xnix.c