Kernel: Build franco kernel + linaro