Gentoo x86_64 kernel 3.2 removed from the list of buildbot machines as it is not available anymore