[SeaBIOS] Animated GIF bootsplash

[Michael Bacarella]

Hello,

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.