Try to build falcon kernel with linaro