Use GCC 4.6 for Kernel

Also update fingerprint to JDQ39E