[mixos] ebox7358 switch to kernel 3.12.4