Merge changes I11cf3610,I09d6cba7

* changes:
  New lib64SDL.a and lib64SDLmain.a for 64-bit emulator
  Update linux-x86/SDL with X threading bugfix