Tidying up some ARM boards