Release 7:  fix build breakage; extra Provides:

  * Missing kernel .config dependency broke build
  * Add extra Provides: linux-image-xenomi* fields to control
Fix postinst script that breaks kernel module builds

  * Remove postinst /lib/modules/*/{build,source} link junk
    - Script removes links if linux-headers isn't installed
    - This breaks kernel modules builds after headers is installed
    - See https://github.com/zultron/kernel-rt-deb/issues/3

Fixes #3
Update Config-Xeno submodule

Add CONFIG_PREEMPT_NONE and CONFIG_XENO_OPT_NATIVE_INTR

CONFIG_PREEMPT_NONE=y
CONFIG_XENO_OPT_NATIVE_INTR=y

Fixes #1 and #2