Added ARM includes from FreeBSD.

Change-Id: Ib3f591d6866aed36f750821a9d052aa2ae78d86a
Signed-off-by: David Rodero <david@codiguiel.net>