RE: Kernel fixes for HW watchpoint support