- config.conf: Add x86_64/maxcpus as the 4096-cpu configuration
      and switch back to at most 128 cpus in the other configs. This
      avoids wasting memory on all but the most extreme x86_64
      systems.
    - rpm/kernel-binary.spec.in: define a kernel-$flavor symbol to
      allow per-flavor patches. (Use this for testing only!)
    - patches.suse/bug-425240_nr_cpus-mem_cgroup_stat-fix.diff: Add
      this patch conditionally for x86_64/maxcpus for now pending
      test results from bnc#425240.