debian: Update firmware pointer to v1.7.1