added 3.12.7 kernel