use x86_64-linux-4.9 for 32bit code

sabermod toolchains have m32 and x32 code built-in.

Change-Id: Id02b4f0324d8af642d67d571579ea38bdd6bd935