patch to kernel/ui.c