On Wed, Aug 23, 2017 at 10:37 PM, Jose Alarcon <jose.alarcon at ge.com> wrote: > This patch was a temporal workaround needed with 4.1 kernels. > Remove it. OLDEST_KERNEL is still set to 3.2.0 How can you be sure nobody is using 4.1 ?