Version 2 of this patch with the following changes:

 - switch to #if XENO_DEBUG(POSIX) (instead of "if (XENO_DEBUG(POSIX))")
 - make XENO_OPT_DEBUG_POSIX default y (if debugging is enabled)

Jan


PS: Changelog for the whole series can be provided once it is considered
mergeable.