Debugging some full-kernel wrapper issues related to watchpoints.