Add the NixOS kernel configs