rpi-monster.patch
usb-dwc_otg-fix-system-lockup-when-interrupts-are-threaded.patch
patch-4.1.13-rt15.patch
sched-add-per-cpu-load-measurement.patch
save-current-patchset-in-kernel.patch
trace-add-switchtime-hist.patch
improve-pmu-support.patch