x86: x86 user_regset cleanup