Bug 868027 - Use push to push integer registers onto the stack on x64. r=nbp

Use push instead of adjusting the stack pointer and doing stores manually.
This significantly reduces code size for these sequences.