Fixed wrong assert_check failure found during x86-64 save/restore experiments
Fixed wrong assert_check failure found during x86-64 save/restore experiments

marmolejo/bochs-zet,marmolejo/bochs-zet,marmolejo/bochs-zet,marmolejo/bochs-zet,marmolejo/bochs-zet