We are using the kernel built from source