nixos manual: Fix instruction for getting booted kernel confix

Nixos hasn't had a /run/booted-system/kernel-modules/config file since f95d214cfdf115b9444acc5ce8060a5b1b23ed77, and CONFIG_IKCONFIG_PROC is set for nix kernels, so replaced the manual reference with a reference to /proc/config.gz