Has anyone an idea which kernel version is needed to apply the intel turbo boost max 3 patches?