Re: ux500 not booting