RE: Problems with kernel support for hardware watchpoints