anchor.diff:          SERIO_AMBAKMI y
   
           CPU_ARM926T y
  +        ARCH_INTEGRATOR_CP y
  +        VGA_CONSOLE n
  +        AEABI y
         '';
       uboot = null;
       ubootConfig = "integratorcp_config";
     };
   
  -  integratorCPuboot = {
  -    name = "integratorCP";
  -    kernelBaseConfig = "integrator_defconfig";
  -    kernelArch = "arm";
  -    kernelAutoModules = false;
  +  integratorCPuboot = integratorCP // {
  +    name = "integratorCPuboot";
       kernelTarget = "uImage";
  -    kernelExtraConfig =
  -      ''
  -        # needed for qemu integrator/cp
  -        SERIAL_AMBA_PL011 y
  -        SERIAL_AMBA_PL011_CONSOLE y
  -        SERIAL_AMBA_PL010 n
  -        SERIAL_AMBA_PL010_CONSOLE n
  -
  -        MMC_ARMMMCI y
  -        MMC_SDHCI y
  -        SERIO_AMBAKMI y
  -
  -        CPU_ARM926T y
  -      '';
       uboot = uboot;
       ubootConfig = "integratorcp_config";
     };
  
positive.code: { system, pkgs}:
  with pkgs;
  {
    pc = assert system == "i686-linux" || system == "x86_64-linux"; {
      name = "pc";
      uboot = null;
  
negative.code:         MMC_ARMMMCI y
          MMC_SDHCI y
          SERIO_AMBAKMI y
  
          AEABI y
        '';
      uboot = null;
    };
  