Add debug information to ARM