external build of 64bit kernel 3.6