Enabling SPI on the Raspberry Pi 3

The Nix approach to this problem seems to be by applying device tree overlays: nixos/hardware.deviceTree: new module by kwohlfahrt · Pull Request #60422 · NixOS/nixpkgs · GitHub. I’ll experiment a bit and see if I get things working.