[LAU] debian realtime kernel config 2.6.25.8.rt7