x86: use push instruction for saving registers