add CPU-specific flags, Xenomai patches, low-latency desktop kernel config