let kernels =
  [ "2.6.21-1.3128.fc7.i586"; "2.6.21-1.3128.fc7.i686";
    "2.6.21-1.3141.fc7.ppc64"; "2.6.21-1.3141.fc7.x86_64";
    "2.6.21-1.3190.fc7.x86_64"; "2.6.22-0.23.rc7.git6.fc8.ppc";
    "2.6.24-0.167.rc8.git4.fc9.ppc64"; "2.6.25.14-69.fc8.x86_64";
    "2.6.26.1-9.fc9.ppc64"; "2.6.27-0.226.rc1.git5.fc10.ppc" ];;