Changed to kernel 3.10.4 and fixed board definitions.