why we don't have kernel updates on F24