Made kernel boot with Linaro