Kernel fixes for HW watchpoint support