Re: [PATCH 4/5] gnu: kernel-config: Add armhf kernel config.

[David Craven]

Nixos uses multi_v7_defconfig as a default. It should work at least on
the beaglebone black and raspberry pi 2 - which are probably the most
common boards?

[0] https://github.com/NixOS/nixpkgs/blob/master/pkgs/top-level/platforms.nix