Linaro 4.7.3 : Fix device boot