kernel 3.12.5 and drivers