linaro 4.9 and krait bionic