[PATCH] make kernel/relay.c __user-clean