Mirror of Samsung for-next kernel tree with support for various boards