ARM: Add headers