Doc: debugging helpers don't need to be compiled anymore

Change-Id: Iaec0bf4d0c6a6f646bb8050067b5521a72c41828
Reviewed-by: Kai Koehne <kai.koehne@digia.com>