use paranoid mako kernel with gcc-4.7 fix

Change-Id: I04d28402611cb73a72a066de01f39b779549904f