Added ARM includes from FreeBSD.

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