Update for new Xenomai packaging

- Linux kernel packaging redone from scratch
  - New git repo
  - New recipe for building
- Add new linux-tools package build
  - Add git repo
  - Add recipes
- Remove obsolete kmodule package build