Re: Tidying up some ARM boards