Hello! I have P1010RDB platform and another platform on P1010 chip. I have a toolchain on the virtual machine image for build Linux kernel (v. 3.12.37) and rootfs.Is the mv88e6352 chip on the my board. Linux kernel 3.12.37 not support this chip. How can I get a Linux kernel, which support this chip (DSA/ mv88e6352) and work for P1010 chip?