Compile the kernel in user variant