Use boolean macro in kernel.c