jpinto 7e8fc6c293 configs: add support for Synopsys VDK Software Development Platform %!s(int64=9) %!d(string=hai) anos
..
axs10x 8d9927dd8f board: ARC AXS10x bump Linux kernel to 4.2.4 %!s(int64=9) %!d(string=hai) anos
vdk 7e8fc6c293 configs: add support for Synopsys VDK Software Development Platform %!s(int64=9) %!d(string=hai) anos