Docker image for building kernel for fedora