use custom kernel with linaro optimizations