let kernels =
  [ "2.6.20-1.2933.fc6.i586"; "2.6.20-1.2933.fc6.i686";
    "2.6.20-1.2933.fc6.ppc"; "2.6.20-1.2933.fc6.ppc64";
    "2.6.20-1.2933.fc6.x86_64"; "2.6.25.11-97.fc9.i686";
    "2.6.25.11-97.fc9.x86_64"; "2.6.25.14-108.fc9.i586";
    "2.6.25.14-108.fc9.i686"; "2.6.25.14-108.fc9.ppc";
    "2.6.25.14-108.fc9.ppc64"; "2.6.25.14-108.fc9.x86_64";
    "2.6.25.14-69.fc8.i586"; "2.6.25.14-69.fc8.i686"; "2.6.25.14-69.fc8.ppc";
    "2.6.25.14-69.fc8.ppc64"; "2.6.25.14-69.fc8.x86_64" ];;