Hi,

Nikita Karetnikov <nikita@karetnikov.org> skribis:

> starting phase `build'
> `ARCH' set to `mips64el'
> Makefile:484: /tmp/nix-build-xww122kbc08qcyaika8pf03x273rvph7-linux-libre-headers-3.3.8.drv-0/linux-3.3.8/arch/mips64el/Makefile: No such file or directory

This is because Linux calls this “mips”, not “mips64el”.

The attached patch should solve it, while avoiding a rebuild on other
architectures: