Samsung Update 10 -> Update 11

https://github.com/temasek/android_kernel_samsung_smdk4412/commit/94d3c6110f363096f5117283c801b9447bf1c956
Compiler flags updated (gcc 4.7)

https://github.com/temasek/android_kernel_samsung_smdk4412/commit/bce218661f276faf60fd97479de371adb61f1d40
Kernel patch 3.0.90 main stream.