fixes #22

Change name of Raspberry Pi Xenomai kernel package and add Note to
alert reader to possible future changes in kernel-naming conventions.
Merge pull request #24 from RunningLight/RPiInstruction

fixes #22