[LAU] Building a Debian realtime kernel