Summary of changes: 4a75779... Add ARM configuration options (*) d4612d7... Added patch for gcc build failures (*) 933d5f1... build patch fix (*) b8091ab... added missing changelog entry (*) (*) This commit already existed in another branch; no separate mail sent