Guessing it is not considered an emergency (redundant systems or just a warning light?) as didnt see a 7700 call on flightradar, and assume it would have gone for iceland if an emergency? Either way sorry to hear of your disruption, luckily i havent had that on any flights.