pull hal so it avoids compile conflict w/ sonlib