Switch to semc7x30 kernel 3.4