nixos manual: Fix instruction for getting booted kernel confix
Merge pull request #3637 from nathanielbaxter/dev/nixos_manual

nixos manual: Fix instruction for getting booted kernel confix