Adding xenomai rpi kernel config