x86_64, traps: Fix the espfix64 #DF fixup and rewrite it in C