Convert Xenomai to y2038 kernel interfaces

Will likely require ABI changes, thus might be a 3.2 topic.

Open issue: Should compatibility with older kernels be kept?

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information