debian packaging for the linux kernel with the rtai patch