Remove kernel config, way to much work to have a base one with different architectures