Extend S2E guest header to use the jump-guard and multibyte-NOP variants

Also use proper hexadecimal notation to pass the arguments, since they
*are* hexadecimal.