Modified arm-specific header files