x86_64, traps: Rework bad_iret