kernel/linux: update revisions

Update Linux with the latest available revisions.

Signed-off-by: "Benoît Thébaudeau" <benoit.thebaudeau@advansee.com>
[yann.morin.1998@free.fr: add latest versions since released]
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr>
Message-Id: <125b3612bbefcb57166b.1361275815@advdt005-ubuntu>
Patchwork-Id: 221686

CT_EXPERIMENTAL=y

CT_LOCAL_TARBALLS_DIR="${HOME}/src"

CT_SAVE_TARBALLS=y

CT_LOG_EXTRA=y

CT_ARCH_64=y

CT_ARCH_x86=y

CT_KERNEL_windows=y

CT_BINUTILS_V_2_21_1a=y

CT_BINUTILS_PLUGINS=y

CT_CC_V_4_5_2=y

CT_CC_LANG_CXX=y

CT_MINGW_DIRECTX=y

CT_MINGW_DDK=y

CT_GMP_V_4_3_2=y

CT_MPFR_V_2_4_2=y

CT_PPL_V_0_10_2=y

CT_CLOOG_V_0_15_10=y