Edit: add host entries for the other ARM boards.