Fix building kernel from source for deb