x86: Make jump_label use int3-based patching