How do I build an sdcard for the raspberry pi from the NixOS/nixpkgs repo on x86 (running NixOS)? I get errors in, I believe, the Linux kernel build along the lines of

```
cc1: error: bad value ('armv5t') for '-march=' switch
```