x86-64: Fix bad_srat() to clear all state