s2e.h: : Refactor repetitive x86_64 ifdefs in inline assembly statements.

Signed-off-by: Diego Biurrun <diego@biurrun.de>