Unify the arch headers.

The arch interface is defined in common headers and each arch has its
own implementation.

Change-Id: I2d783fcd951f2a51458d9c2d4adc5bf72200dde7
diff --git a/inc/hf/addr.h b/inc/hf/addr.h
index b67e1c2..c37601d 100644
--- a/inc/hf/addr.h
+++ b/inc/hf/addr.h
@@ -19,7 +19,7 @@
 #include <stddef.h>
 #include <stdint.h>
 
-#include "hf/arch/addr.h"
+#include "hf/arch/types.h"
 
 /** An opaque type for a physical address. */
 typedef struct {