Criteria for adding new ARM boards to F20 support list