With the signing key set up and /etc/config.scm edited to use the normal-ass Linux kernel, you can run the overly long `guix system reconfigure` command from the blog. The command it gives is also bad advice, since it manually specifies the substitute server URLs, but they should be in config.scm. But whatever.