[GigaBlue SEPlus, UEPlus] Switch to Kernel 3.12.1