anchor.diff:  
     raspberrypi = {
       name = "raspberrypi";
  -    kernelMajor = "2.6";
       kernelBaseConfig = "bcm2835_defconfig";
       kernelDTB = true;
       kernelArch = "arm";
  
positive.code: 
    utilite = {
      name = "utilite";
      kernelMajor = "2.6";
      kernelBaseConfig = "multi_v7_defconfig";
      kernelArch = "arm";
      kernelAutoModules = false;
  
negative.code: 
    ben_nanonote = {
      name = "ben_nanonote";
      kernelArch = "mips";
      gcc = {
        arch = "mips32";
  