More work on the FreeBSD ARM post