[PATCH] x86_64: Report hardware breakpoints in user space when triggered by the kernel