Took like 2 days of work, but now I've got Guix System installed on my secondary laptop. The process involved, among other things, installing the Guix package manager on my primary laptop, compiling Linux-lts, making an archive of it, moving it to my secondary laptop and importing the archive (because a 2017 IdeaPad is not the machine where you want to be compiling Linux kernels.) All this because the wireless chipset's firmware need delicious binary blobs that aren't included with Linux-libre.