Nozomi: new kernel supports GCC 4.6

cheers

Change-Id: I63f38c9b472209560e413f691f4bb3a2ce13bcae