Sample ARM booter for Darwin