X86_debug_register loading ...