Linaro 4.7.3 : Fix Device boot