Add forgotten ipipe params to xenomai kernel configs