I sent patches to SeaBIOS:

https://mail.coreboot.org/hyperkitty/list/seabios@seabios.org/thread/3T5LLAFGFCJ7XXPAB4LEOPUEL4XJ45AL/

https://mail.coreboot.org/hyperkitty/list/seabios@seabios.org/thread/C6YXXJ6CWPQGHOF2JZ3YVEZZT7W2YDM5/

The first patch is boring (standards compliance in SeaBIOS's memset()) but a user on IRC today had trouble with their Nvidia GPU in a laptop.

They inserted the right option ROM, but named it with uppercase hex characters in the ROM name. SeaBIOS expects all-lowercase. 2nd patch makes SeaBIOS case insensitive when searching PCI ROMs by convention: pcivvvv,dddd.rom (v/d is vendor/device ID)

Quite an easy patch, really.