fixes #22

Change name of Raspberry Pi Xenomai kernel package and add Note to
alert reader to possible future changes in kernel-naming conventions.

I used a new editor (atom) which seems to have created a few unnecessary but harmless deletions/additions. The end result is correct.