fix-linux-rt-4.9-sched.patch
0001-Update-kvm-instrumentation-for-debian-kernel-4.14.0-.patch
0002-Update-kvm-instrumentation-for-ubuntu-kernel-4.13.0-38+.patch
0003-Fix-do-not-use-CONFIG_HOTPLUG_CPU-for-the-new-hotplu.patch
0004-Cleanup-comment-about-CONFIG_HOTPLUG_CPU-ifdef.patch
