patch-3.12.24-rt38.patch zedboard-monster.patch sched-add-per-cpu-load-measurement.patch add-kernel-parameter-to-disable-defect-cpus.patch drivers-misc-kconfig-replace-spaces-with-tabs.patch save-current-patchset-in-kernel.patch mm-slabinfo-fix-latency.patch drivers-gpu-drm-try-loading-builtin-edids-first.patch drivers-gpu-drm-make-edid_load-return-a-void.patch add-cpufreq-operating-points-to-dt.patch