Depending on #4, this may require wrapping things so that I-pipe still works for up to 4.19.

See also https://xenomai.org/pipermail/xenomai/2020-February/042488.html