checkasm: x86: properly save rdx/edx in checked_call()