let kernels =
  [ "2.6.18-1.2798.fc6.i586"; "2.6.18-1.2798.fc6.i686";
    "2.6.18-1.2798.fc6.i686"; "2.6.18-1.2798.fc6.i686";
    "2.6.18-1.2798.fc6.ppc"; "2.6.18-1.2798.fc6.ppc";
    "2.6.18-1.2798.fc6.ppc64"; "2.6.18-1.2798.fc6.ppc64";
    "2.6.18-1.2798.fc6.ppc64iseries"; "2.6.18-1.2798.fc6.ppc64iseries";
    "2.6.18-1.2798.fc6.x86_64"; "2.6.18-1.2798.fc6.x86_64";
    "2.6.18-1.2798.fc6.x86_64"; "2.6.20-1.2933.fc6.i586";
    "2.6.20-1.2933.fc6.i686"; "2.6.20-1.2933.fc6.i686";
    "2.6.20-1.2933.fc6.i686"; "2.6.20-1.2933.fc6.i686";
    "2.6.20-1.2933.fc6.i686"; "2.6.20-1.2933.fc6.i686";
    "2.6.20-1.2933.fc6.ppc"; "2.6.20-1.2933.fc6.ppc";
    "2.6.20-1.2933.fc6.ppc64"; "2.6.20-1.2933.fc6.ppc64";
    "2.6.20-1.2933.fc6.x86_64"; "2.6.20-1.2933.fc6.x86_64";
    "2.6.20-1.2933.fc6.x86_64"; "2.6.20-1.2933.fc6.x86_64";
    "2.6.21-1.3128.fc7.i586"; "2.6.21-1.3128.fc7.i686";
    "2.6.21-1.3128.fc7.i686"; "2.6.21-1.3128.fc7.ppc";
    "2.6.21-1.3128.fc7.ppc"; "2.6.21-1.3128.fc7.ppc64";
    "2.6.21-1.3128.fc7.ppc64"; "2.6.21-1.3128.fc7.x86_64";
    "2.6.21-1.3128.fc7.x86_64"; "2.6.21-1.3132.fc7.i586";
    "2.6.21-1.3132.fc7.i686"; "2.6.21-1.3132.fc7.i686";
    "2.6.21-1.3132.fc7.ppc"; "2.6.21-1.3132.fc7.ppc";
    "2.6.21-1.3132.fc7.ppc64"; "2.6.21-1.3132.fc7.ppc64";
    "2.6.21-1.3132.fc7.x86_64"; "2.6.21-1.3132.fc7.x86_64";
    "2.6.21-1.3141.fc7.i586"; "2.6.21-1.3141.fc7.i686";
    "2.6.21-1.3141.fc7.i686"; "2.6.21-1.3141.fc7.ppc";
    "2.6.21-1.3141.fc7.ppc"; "2.6.21-1.3141.fc7.ppc64";
    "2.6.21-1.3141.fc7.ppc64"; "2.6.21-1.3141.fc7.x86_64";
    "2.6.21-1.3141.fc7.x86_64"; "2.6.21-1.3144.fc7.i586";
    "2.6.21-1.3144.fc7.i686"; "2.6.21-1.3144.fc7.i686";
    "2.6.21-1.3144.fc7.ppc"; "2.6.21-1.3144.fc7.ppc";
    "2.6.21-1.3144.fc7.ppc64"; "2.6.21-1.3144.fc7.ppc64";
    "2.6.21-1.3144.fc7.x86_64"; "2.6.21-1.3144.fc7.x86_64";
    "2.6.21-1.3145.fc7.i586"; "2.6.21-1.3145.fc7.i686";
    "2.6.21-1.3145.fc7.i686"; "2.6.21-1.3145.fc7.i686";
    "2.6.21-1.3145.fc7.i686"; "2.6.21-1.3145.fc7.ppc";
    "2.6.21-1.3145.fc7.ppc"; "2.6.21-1.3145.fc7.ppc64";
    "2.6.21-1.3145.fc7.ppc64"; "2.6.21-1.3145.fc7.x86_64";
    "2.6.21-1.3145.fc7.x86_64"; "2.6.21-1.3145.fc7.x86_64";
    "2.6.21-1.3190.fc7.i586"; "2.6.21-1.3190.fc7.i686";
    "2.6.21-1.3190.fc7.i686"; "2.6.21-1.3190.fc7.i686";
    "2.6.21-1.3190.fc7.i686"; "2.6.21-1.3190.fc7.ppc";
    "2.6.21-1.3190.fc7.ppc"; "2.6.21-1.3190.fc7.ppc64";
    "2.6.21-1.3190.fc7.ppc64"; "2.6.21-1.3190.fc7.x86_64";
    "2.6.21-1.3190.fc7.x86_64"; "2.6.21-1.3190.fc7.x86_64";
    "2.6.21-1.3209.fc8.i586"; "2.6.21-1.3209.fc8.i686";
    "2.6.21-1.3209.fc8.i686"; "2.6.21-1.3209.fc8.ppc";
    "2.6.21-1.3209.fc8.ppc"; "2.6.21-1.3209.fc8.ppc64";
    "2.6.21-1.3209.fc8.ppc64"; "2.6.21-1.3209.fc8.x86_64";
    "2.6.21-1.3218.fc8.i586"; "2.6.21-1.3218.fc8.i686";
    "2.6.21-1.3218.fc8.i686"; "2.6.21-1.3218.fc8.ppc";
    "2.6.21-1.3218.fc8.ppc"; "2.6.21-1.3218.fc8.ppc64";
    "2.6.21-1.3218.fc8.ppc64"; "2.6.21-1.3218.fc8.x86_64";
    "2.6.21-1.3221.fc8.i586"; "2.6.21-1.3221.fc8.i686";
    "2.6.21-1.3221.fc8.i686"; "2.6.21-1.3221.fc8.ppc";
    "2.6.21-1.3221.fc8.ppc"; "2.6.21-1.3221.fc8.ppc64";
    "2.6.21-1.3221.fc8.ppc64"; "2.6.21-1.3221.fc8.x86_64";
    "2.6.21-1.3228.fc7.i586"; "2.6.21-1.3228.fc7.i686";
    "2.6.21-1.3228.fc7.i686"; "2.6.21-1.3228.fc7.i686";
    "2.6.21-1.3228.fc7.i686"; "2.6.21-1.3228.fc7.ppc";
    "2.6.21-1.3228.fc7.ppc"; "2.6.21-1.3228.fc7.ppc64";
    "2.6.21-1.3228.fc7.ppc64"; "2.6.21-1.3228.fc7.x86_64";
    "2.6.21-1.3228.fc7.x86_64"; "2.6.21-1.3228.fc7.x86_64";
    "2.6.21-1.3234.fc8.i686"; "2.6.21-1.3234.fc8.i686";
    "2.6.21-1.3234.fc8.ppc"; "2.6.21-1.3234.fc8.ppc";
    "2.6.21-1.3234.fc8.ppc64"; "2.6.21-1.3234.fc8.ppc64";
    "2.6.21-1.3234.fc8.x86_64"; "2.6.21-1.3236.fc8.i686";
    "2.6.21-1.3236.fc8.i686"; "2.6.21-1.3236.fc8.ppc";
    "2.6.21-1.3236.fc8.ppc"; "2.6.21-1.3236.fc8.ppc64";
    "2.6.21-1.3236.fc8.ppc64"; "2.6.21-1.3236.fc8.x86_64";
    "2.6.21-1.3238.fc8.i686"; "2.6.21-1.3238.fc8.i686";
    "2.6.21-1.3238.fc8.ppc"; "2.6.21-1.3238.fc8.ppc";
    "2.6.21-1.3238.fc8.ppc64"; "2.6.21-1.3238.fc8.ppc64";
    "2.6.21-1.3238.fc8.x86_64"; "2.6.21-1.3242.fc8.i686";
    "2.6.21-1.3242.fc8.i686"; "2.6.21-1.3242.fc8.ppc";
    "2.6.21-1.3242.fc8.ppc"; "2.6.21-1.3242.fc8.ppc64";
    "2.6.21-1.3242.fc8.ppc64"; "2.6.21-1.3242.fc8.x86_64";
    "2.6.22-0.23.rc7.git6.fc8.i686"; "2.6.22-0.23.rc7.git6.fc8.i686";
    "2.6.22-0.23.rc7.git6.fc8.ppc"; "2.6.22-0.23.rc7.git6.fc8.ppc";
    "2.6.22-0.23.rc7.git6.fc8.ppc64"; "2.6.22-0.23.rc7.git6.fc8.ppc64";
    "2.6.22-0.23.rc7.git6.fc8.x86_64"; "2.6.22-0.rc7.2.fc8.i686";
    "2.6.22-0.rc7.2.fc8.i686"; "2.6.22-0.rc7.2.fc8.ppc";
    "2.6.22-0.rc7.2.fc8.ppc"; "2.6.22-0.rc7.2.fc8.ppc64";
    "2.6.22-0.rc7.2.fc8.ppc64"; "2.6.22-0.rc7.2.fc8.x86_64";
    "2.6.23.14-135.fc8.i586"; "2.6.23.14-135.fc8.i686";
    "2.6.23.14-135.fc8.i686"; "2.6.23.14-135.fc8.i686";
    "2.6.23.14-135.fc8.i686"; "2.6.23.14-135.fc8.ppc";
    "2.6.23.14-135.fc8.ppc"; "2.6.23.14-135.fc8.ppc64";
    "2.6.23.14-135.fc8.ppc64"; "2.6.23.14-135.fc8.x86_64";
    "2.6.23.14-135.fc8.x86_64"; "2.6.23.14-78.fc7.i586";
    "2.6.23.14-78.fc7.i686"; "2.6.23.14-78.fc7.i686";
    "2.6.23.14-78.fc7.i686"; "2.6.23.14-78.fc7.ppc"; "2.6.23.14-78.fc7.ppc";
    "2.6.23.14-78.fc7.ppc64"; "2.6.23.14-78.fc7.ppc64";
    "2.6.23.14-78.fc7.x86_64"; "2.6.23.14-78.fc7.x86_64";
    "2.6.24-0.167.rc8.git4.fc9.i586"; "2.6.24-0.167.rc8.git4.fc9.i686";
    "2.6.24-0.167.rc8.git4.fc9.i686"; "2.6.24-0.167.rc8.git4.fc9.ppc";
    "2.6.24-0.167.rc8.git4.fc9.ppc"; "2.6.24-0.167.rc8.git4.fc9.ppc64";
    "2.6.24-0.167.rc8.git4.fc9.ppc64"; "2.6.24-0.167.rc8.git4.fc9.x86_64";
    "2.6.24-7.fc9.i586"; "2.6.24-7.fc9.i686"; "2.6.24-7.fc9.i686";
    "2.6.24-7.fc9.ppc"; "2.6.24-7.fc9.ppc"; "2.6.24-7.fc9.ppc64";
    "2.6.24-7.fc9.ppc64"; "2.6.24-7.fc9.x86_64"; "2.6.24-9.fc9.i586";
    "2.6.24-9.fc9.i686"; "2.6.24-9.fc9.i686"; "2.6.24-9.fc9.ppc";
    "2.6.24-9.fc9.ppc"; "2.6.24-9.fc9.ppc64"; "2.6.24-9.fc9.ppc64";
    "2.6.24-9.fc9.x86_64"; "2.6.25.11-97.fc9.i686";
    "2.6.25.11-97.fc9.x86_64"; "2.6.26.2-2.fc8.i586"; "2.6.26.2-2.fc8.i686";
    "2.6.26.2-2.fc8.i686"; "2.6.26.2-2.fc8.i686"; "2.6.26.2-2.fc8.i686";
    "2.6.26.2-2.fc8.ppc"; "2.6.26.2-2.fc8.ppc"; "2.6.26.2-2.fc8.ppc64";
    "2.6.26.2-2.fc8.ppc64"; "2.6.26.2-2.fc8.x86_64"; "2.6.26.2-2.fc8.x86_64";
    "2.6.27-0.238.rc2.fc10.i686"; "2.6.27-0.241.rc2.git1.fc10.i586";
    "2.6.27-0.241.rc2.git1.fc10.i686"; "2.6.27-0.241.rc2.git1.fc10.i686";
    "2.6.27-0.241.rc2.git1.fc10.ppc"; "2.6.27-0.241.rc2.git1.fc10.ppc";
    "2.6.27-0.241.rc2.git1.fc10.ppc64"; "2.6.27-0.241.rc2.git1.fc10.ppc64";
    "2.6.27-0.241.rc2.git1.fc10.x86_64"; "2.6.27-0.244.rc2.git1.fc10.i586";
    "2.6.27-0.244.rc2.git1.fc10.i686"; "2.6.27-0.244.rc2.git1.fc10.i686";
    "2.6.27-0.244.rc2.git1.fc10.ppc"; "2.6.27-0.244.rc2.git1.fc10.ppc";
    "2.6.27-0.244.rc2.git1.fc10.ppc64"; "2.6.27-0.244.rc2.git1.fc10.ppc64";
    "2.6.27-0.244.rc2.git1.fc10.x86_64" ];;