Add x64 kernel configuration.