Update for integrated kernel building

Now it works!