[Bug 426129] New: missing include files for realtime kernel in kernel-source