kernel/linux: update revisions

Update Linux with the latest available revisions.

Signed-off-by: "Benoît Thébaudeau" <benoit.thebaudeau@advansee.com>
Message-Id: <f87414d1b7f0d5d417b7.1348237635@advdt005-ubuntu>
PatchWork-ID: 185747

 # Alpha specific configuration file

 ## select ARCH_SUPPORTS_32

 ## select ARCH_DEFAULT_32

 ## select ARCH_USE_MMU

 ## select ARCH_SUPPORTS_WITH_CPU

 ## select ARCH_SUPPORTS_WITH_TUNE

 ##

 ## help The Alpha architecture.