The Linux kernel source tree for the Synopsys DesignWare ARC processor family