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: added newer versions released since]
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr>
Message-Id: <435dcc4cade342ab9ee0.1365686746@advdt005-ubuntu>
Patchwork-Id: 235741

# Compute AVR32-specific values

CT_DoArchTupleValues() {

    # gcc ./configure flags

    CT_ARCH_WITH_ARCH=

    CT_ARCH_WITH_ABI=

    CT_ARCH_WITH_CPU=

    CT_ARCH_WITH_TUNE=

    CT_ARCH_WITH_FPU=

    CT_ARCH_WITH_FLOAT=

    CT_TARGET_SYS=none

}