I had gotten confused about the day Christmas was on and had incorrectly announced kernel updates on Christmas Eve.  Actually they will be done on Friday evening the 23rd between 11pm-11:30pm providing the roads are still semi-passable.

     I will be upgrading to 6.0.15 from 6.0.12.