linux-headers debug hackery...