svn path=/nixpkgs/branches/stdenv-updates/; revision=10145
* More compact way to override kernel configuration options, e.g. extraFlags = ["CONFIG_NO_HZ=y" "# CONFIG_IRQBALANCE is not set"]; svn path=/nixpkgs/trunk/; revision=9562