Morning of the 25th ? 90 minutes is more than enough. And probably with lots of time to spare. Be aware it might be all shops and eateries are closed, included airside and landside. Staff will be heavily reduced but so be passengers numbers, this is probably the quietest day of the year for travel.
Take pictures of the empty Terminal for us.