I've added animated GIF bootsplash support to SeaBIOS.

Demo: https://www.youtube.com/watch?v=0mmMk40uDJk

Is this only of interest to me, or should I submit a patch for consideration?

I adapted this public domain gif decoderĀ https://github.com/lecram/gifdec

It is my understanding that the patents that were encumbering GIF use in open source have long since expired so there should not be regulatory blockers.

Thank you kindly.